def step

cswap-bend-cli@0.1.0.0 · act.bend:17

import Base
import cswap-bend-cli@0.1.0.0/fs.bend as Fs

17def step(-A: Type, -B: Type, r: Fs.Res(A), f: A -> of(B)) -> of(B):
18  match r:
19    case Fail{e}:
20      IO.pure(Fs.Res(B), Fail{e})
21    case Done{a}:
22      f(a)