Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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)).