A type-safe, heterogeneous collection with zero-cost add and borrow.
BorrowBag allows the storage of any value, and returns a Handle which can be used to borrow
the value back later. As the BorrowBag is add-only, Handle values remain valid for the
lifetime of the BorrowBag.
| BorrowBag | BorrowBag allows the storage of any value using add(T), and returns a Handle which can be
used to borrow the value back later. As the BorrowBag is add-only, Handle values remain
valid for the lifetime of the BorrowBag.
|
| Handle | A value which can be used with the BorrowBag to borrow the element which was added.
|
| Append | Describes the result of appending T to the borrow-bag. This is useful in specifying the
return type when creating/modifying a BorrowBag in a function.
|
| Lookup | Allows borrowing a value of type T from the implementing type. This can be used to constrain
a Handle argument to ensure it can be used with the corresponding BorrowBag.
|