def added

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

import Base

1373def added(-A: Data, +rep: Chan(Out(Nat)), y: Runner<A> & Out(Nat), err: Out(Unit),
1374    next: Runner<A> -> Nat -> Out(Unit) -> IO(Runner<A> & Out(Bool))) -> IO(Runner<A> & Out(Bool)):
1375  match y:
1376    case (r, Done{+i}):
1377      do IO<Runner<A> & Out(Bool)>:
1378        x : Result<&1, &1, Out(Nat), Unit> <- Chan.send(Out(Nat), rep, Done{i})
1379        next(r, 1n, err)
1380    case (r, Fail{e}):
1381      asked.fail(A, Nat, rep, r, e, err, next)