type DList

bend-collections@1.0.0.0 · src/containers/doubly_linked_list.bend:6

import Base
import bend-collections@1.0.0.0/src/containers/internal/dlist_storage.bend as R

6# Public generational handles over the shared indexed DLL storage.
7# Removed slots are reused. A generation at UINT32_MAX is retired forever
8# instead of wrapping; capacity therefore follows peak live + exhausted slots.
9# Values are released by remove, but the pool keeps capacity for later use.
10type DList<-T: Data> is Type:
11  DL{tag: U32, depth: Nat, cap: U32, storage: R.DList<T>, generations: Array<U32>}