def set_result

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

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

179def set_result(~T: Data, n: U32, last: U32, f: Bool, i: Nat, r: D.DList<T> & Result<&2, &2, E.Error, Unit>) -> Iterator<T> & Result<&2, &2, Error, Unit>:
180  match r:
181    case Tuple{s, Fail{e}}:
182      (IT{s, n, last, f, i}, Fail{Storage{e}})
183    case Tuple{s, Done{x}}:
184      (IT{s, n, last, f, i}, Done{Unit{}})