Safe Haskell | Safe |
---|---|
Language | Haskell98 |
This module temporarily holds this class until it can find a better home.
- class MFunctor t where
- raise :: (Monad m, MFunctor t1, MonadTrans t2) => t1 m r -> t1 (t2 m) r
Functors over Monads
class MFunctor t where Source #
A functor in the category of monads
hoist :: Monad m => (forall a. m a -> n a) -> t m b -> t n b Source #
Lift a monad morphism from m
to n
into a monad morphism from
(t m)
to (t n)
MFunctor MaybeT Source # | |
MFunctor (WriterT w) Source # | |
MFunctor (WriterT w) Source # | |
MFunctor (StateT s) Source # | |
MFunctor (StateT s) Source # | |
MFunctor (IdentityT *) Source # | |
MFunctor (ReaderT * r) Source # | |
MFunctor (RWST r w s) Source # | |
MFunctor (ProxyFast a' a b' b) Source # | |
MFunctor (ProxyCorrect a' a b' b) Source # | |
Proxy p => MFunctor (IdentityP p a' a b' b) Source # | |
Proxy p => MFunctor (MaybeP p a' a b' b) Source # | |
Proxy p => MFunctor (EitherP e p a' a b' b) Source # | |
Proxy p => MFunctor (ReaderP i p a' a b' b) Source # | |
Proxy p => MFunctor (StateP s p a' a b' b) Source # | |
Proxy p => MFunctor (WriterP w p a' a b' b) Source # | |