Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
class Lifter m n where Source #
An automatic lifter. The idea of automatic lifting is due to Dan Piponi.
Instances
Lifter IO IO Source # | |
Lifter Identity Identity Source # | |
(MonadTrans n, Monad x, Lifter m x) => Lifter m (n x) Source # | |
Defined in Control.Monad.Lifter | |
Lifter (ST RealWorld) IO Source # | |
(Monad x, MFunctor m) => Lifter (m Identity) (m x) Source # | |
Defined in Control.Monad.Lifter | |
Lifter (ST s) (ST s) Source # | |