2 releases
| 0.5.1 | Jan 14, 2021 |
|---|---|
| 0.5.0 | Jan 10, 2021 |
#104 in #unique
42 downloads per month
Used in 2 crates
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.