Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
type EffectLift m es = (Member (Lift m) es, m ~ LiftType es, Monad m) Source
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.