def forward_arrays

bend-collections@1.0.0.0 · src/containers/dlist_iterator.bend:129

import Base

129def forward_arrays(~T: Data, vals: Array<Maybe<&2, T>>, nexts: Array<U32>, +n: U32, empty: Bool) -> Forward<T>:
130  match empty:
131    case True{}:
132      F{vals, nexts, 0, Fail{Exhausted{}}}
133    case False{}:
134      forward_value(~T, nexts, n, Array.get(Maybe<&2, T>, vals, U32.sub(n, 1)))