def complete.taken

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

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

135def complete.taken(-A: Data, result: Taken<A>, n: Nat, h: H.Heap<Ticket<A>>) -> State<A> & Maybe<&2, Ticket<A>>:
136  match result:
137    case Taken{r, found}:
138      (State{n, h, r}, found)