~/jendhub

def open.done

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

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

1771def open.done(-A: Data, y: Ran(A)) -> IO(Out(Runner<A>)):
1772  match y:
1773    case (r, Fail{e}):
1774      do IO<Out(Runner<A>)>:
1775        close(A, r)
1776        return Fail{e}
1777    case (r, Done{u}):
1778      IO.pure(Out(Runner<A>), Done{r})

Uses (10)

Used by (1)