def get_found_at

bend-collections@1.0.0.0 · src/containers/dynamic_array.bend:326

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

326# Keep the element type specialized through the returned payload. Calling the
327# erased generic get_found here boxes composite Data on every indexed read.
328def get_found_at(~T: Data, limit: Nat, depth: Nat, cap: Nat, len: Nat, r: Array<Maybe<&2, T>> & Maybe<&2, T>) -> DynArray<&2, T> & Result<&2, &2, E.Error, T>:
329  match r:
330    case Tuple{arr, None{}}:
331      (DA{limit, depth, cap, len, arr}, Fail{E.IndexOutOfRange{}})
332    case Tuple{arr, Some{x}}:
333      (DA{limit, depth, cap, len, arr}, Done{x})