~/jendhub

def enqueue.done

bend-kit-runner@0.13.0.1 · runner.bend:1110

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

1110def enqueue.done(-A: Data, +id: Nat, y: Ran(A)) -> Runner<A> & Out(Nat):
1111  match y:
1112    case (r, Done{u}):
1113      (r, Done{id})
1114    case (r, Fail{e}):
1115      (r, Fail{e})

Uses (7)

Used by (1)