~/jendhub

def sift_up

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

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

136# Place x at slot i and restore heap order upwards (fuel bounds the climb).
137def sift_up(~A: Data, ~cmp: A -> A -> Cmp, fuel: Nat, i: U32, +x: A, arr: Array<Maybe<&2, A>>) -> Array<Maybe<&2, A>>:
138  up_go(~A, ~cmp, fuel, x, up_probe(~A, ~cmp, i, x, arr))

Uses (7)

Used by (1)