Expand description
Persistent vector based on Relaxed Radix Balanced (RRB) trees.
An immutable, persistent vector where every “mutation” returns a new
vector while sharing unchanged structure with previous versions via Arc.
§Complexity
| Operation | Time |
|---|---|
get(index) | O(log₃₂ N) |
set(i, v) | O(log₃₂ N) |
push_back | O(1) amortised |
concat | O(log₃₂ N) |
slice | O(log₃₂ N) |
len | O(1) |
§Structural Sharing
Old versions remain valid after modification — they share subtrees with
new versions through Arc.
Structs§
- Persistent
RrbVec - A persistent vector based on Relaxed Radix Balanced (RRB) trees.
- Persistent
RrbVec Iter - Iterator over elements of a
PersistentRrbVec.