def then

cswap-bend-cli@0.1.0.0 · fs.bend:47

import Base

47# Run `next` only when the previous step worked.
48def then(r: Res(Unit), next: IO(Res(Unit))) -> IO(Res(Unit)):
49  match r:
50    case Fail{e}:
51      IO.pure(Res(Unit), Fail{e})
52    case Done{u}:
53      next