Safe Haskell | Trustworthy |
---|---|
Language | Haskell98 |
Control.Eff.Lift
Description
Lifting primitive Monad types to effectful computations. We only allow a single Lifted Monad because Monads aren't commutative (e.g. Maybe (IO a) is functionally distinct from IO (Maybe a)).
Documentation
Lift a Monad m to an effect.
Constructors
forall a . Lift (m a) (a -> v) |