def requeue.found

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

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

145def requeue.found(~A: Data, found: Maybe<&2, Ticket<A>>, d: Nat, s: State<A>) -> State<A> & Bool:
146  match found:
147    case None{}:
148      (s, False{})
149    case Some{Ticket{i, old, x}}:
150      match s:
151        case State{n, h, r}:
152          (State{n, H.Heap.push(~Ticket<A>, ~(a => b => le(A, a, b)), Ticket{i, d, x}, h), r}, True{})