Safe Haskell | Trustworthy |
---|
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)).
extensible-effects-1.2.1: An Alternative to Monad Transformers
Safe Haskell | Trustworthy |
---|
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)).