Effects.Lift

For lifting arbitrary monadic computations into an algebraic effect setting.

Documentation

newtype Lift m a

Lift a monadic computation m a into the effect Lift m

Constructors

Lift (m a)

lift :: Member (Lift m) es => m a -> Prog es a

Wrapper function for calling Lift

handleLift :: forall m w. Monad m => Prog '[Lift m] w -> m w

Handle Lift m as the last effect