def bind

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

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

24def bind(-A: Type, -B: Type, m: of(A), f: A -> of(B)) -> of(B):
25  IO.bind(Fs.Res(A), Fs.Res(B), m, r => step(A, B, r, f))