2 releases
0.5.1 | Jan 14, 2021 |
---|---|
0.5.0 | Jan 10, 2021 |
#433 in No standard library
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.