def lift

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

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

27# Lift a plain IO value.
28def lift(-A: Type, m: IO(A)) -> of(A):
29  IO.bind(A, Fs.Res(A), m, x => IO.pure(Fs.Res(A), Done{x}))