pui-vec

A append-only vector that uses pui_core to brand indicies to allow for unchecked indexing. (Note: PuiVec is only append-only if there is an associated Identifier attached)

Features

pui (default) - this hooks into pui_core and provides a branded [Id] that can be used to elide bound checks.

License: MIT/Apache-2.0