~/jendhub

def drain.handled

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

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

1647def drain.handled(-A: Data, t: Runner<A> & Out(Bool), next: Runner<A> -> IO(Ran(A))) -> IO(Ran(A)):
1648  match t:
1649    case (r, Fail{e}):
1650      IO.pure(Ran(A), (r, Fail{e}))
1651    case (r, Done{b}):
1652      next(r)

Uses (9)

Used by (1)