#identifier #vec #unique

no-std pui-vec

An append only vector, with guaranteed elided bounds checks

2 releases

0.5.1 Jan 14, 2021
0.5.0 Jan 10, 2021

#433 in No standard library


Used in 2 crates

MIT/Apache

46KB
823 lines

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


lib.rs:

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.

Dependencies