def inserted_room

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

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

31def inserted_room(~T: Data, +tag: U32, +depth: Nat, +cap: U32, raw: R.DList<T>, gens: Array<U32>, +id: U32, grow: Bool) -> DList<T> & E.Handle:
32  match grow:
33    case False{}:
34      inserted_gen(~T, tag, depth, cap, raw, id, Array.get(U32, gens, id))
35    case True{}:
36      inserted_gen(~T, tag, 1n+depth, U32.shl(cap), raw, id, Array.get(U32, ANode{gens, Array.new(U32, depth, 0)}, id))