Safe Haskell	None
Language	Haskell2010

Effects.Lift

Description

For lifting arbitrary monadic computations into an algebraic effect setting.

Synopsis

Documentation

newtype Lift m a Source #

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 Source #

Wrapper function for calling Lift

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

Handle Lift m as the last effect