~/jendhub

def settle.done

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

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

1285def settle.done(-A: Data, y: Ran(A), g: Res.Grant, err: Out(Unit), next: Runner<A> -> Out(Unit) -> IO(Runner<A> & Out(Bool))) -> IO(Runner<A> & Out(Bool)):
1286  (r, res) = y
1287  next(release(A, r, g), first(err, res))

Uses (11)

Used by (1)