def peek_go

bend-collections@1.0.0.0 · src/containers/binary_heap.bend:235

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

235def peek_go(~A: Data, size: Nat, +n: U32, depth: Nat, cap: U32, arr: Array<Maybe<&2, A>>, empty: Bool) -> Heap<A> & Result<&2, &2, E.Error, A>:
236  match empty:
237    case True{}:
238      (BH{size, n, depth, cap, arr}, Fail{E.EmptyHeap{}})
239    case False{}:
240      peek_found(~A, size, n, depth, cap, Array.get(Maybe<&2, A>, arr, 0))