def remove.heap

bend-kit-scheduler@0.4.1.0 · queue.bend:85

import Base
import bend-kit-collections@0.1.4.1/heap.bend as H

85def remove.heap(~A: Data, h: H.Heap<Ticket<A>>, +i: Nat) -> H.Heap<Ticket<A>>:
86  match h:
87    case H.HLeaf{}:
88      H.HLeaf{}
89    case H.HNode{n, +t, l, r}:
90      remove.heap.keep(~A, Nat.is_eq(id(A, t), i), t, remove.heap(~A, l, i), remove.heap(~A, r, i))