~/jendhub

def add_meta

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

import bend-collections@1.0.0.0/src/containers/dlist_iterator.bend as DlistIterator
import Base
import bend-collections@1.0.0.0/src/containers/types/doubly_linked_list.bend as E

193def add_meta(n: U32, last: U32, f: Bool, i: Nat, r: Result<&2, &2, E.Error, E.Handle>) -> Move<Unit>:
194  match r:
195    case Fail{e}:
196      M{n, last, f, i, Fail{Storage{e}}}
197    case Done{h}:
198      M{n, 0, f, 1n+i, Done{Unit{}}}

Uses (9)

Used by (1)