def dropped

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

import Base

1383def dropped(-A: Data, +rep: Chan(Out(Unit)), y: Ran(A), err: Out(Unit),
1384    next: Runner<A> -> Nat -> Out(Unit) -> IO(Runner<A> & Out(Bool))) -> IO(Runner<A> & Out(Bool)):
1385  match y:
1386    case (r, Done{u}):
1387      do IO<Runner<A> & Out(Bool)>:
1388        x : Result<&1, &1, Out(Unit), Unit> <- Chan.send(Out(Unit), rep, Done{Unit{}})
1389        next(r, 0n, err)
1390    case (r, Fail{e}):
1391      asked.fail(A, Unit, rep, r, e, err, next)