effin-0.1.0.0: A Typeable-free implementation of extensible effects

Control.Effect.Lift

Synopsis

data Lift m a Source

An effect described by a monad. All monads are functors, but not all Monads have Functor instances. By wrapping a monad in the Lift effect, all monads can be used without having to provide a Functor instance for each one.

Monad

Functor

Lift

Instances

runLift :: Monad m => Effect `[Lift m]` a -> m a Source

Converts a computation containing only monadic effects into a monadic computation.

lift :: EffectLift m es => m a -> Effect es a Source

Lifts a monadic value into an effect.