Control.MFunctor

This module temporarily holds this class until it can find a better home.

Monads over functors

class MFunctor t where

A functor in the category of monads

Minimal complete definition

mapT

Methods

mapT :: (Monad m, Monad n) => (forall a. m a -> n a) -> t m b -> t n b

Lift a monad morphism from m to n into a monad morphism from (t m) to (t n)

Instances

MFunctor (Proxy a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> Proxy a' a b' b m b -> Proxy a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (IdentityP p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> IdentityP p a' a b' b m b -> IdentityP p a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (MaybeP p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> MaybeP p a' a b' b m b -> MaybeP p a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (EitherP e p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> EitherP e p a' a b' b m b -> EitherP e p a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (ReaderP i p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> ReaderP i p a' a b' b m b -> ReaderP i p a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (StateP s p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> StateP s p a' a b' b m b -> StateP s p a' a b' b n b

MFunctor (p a' a b' b) => MFunctor (WriterP w p a' a b' b)

Methods

mapT :: (Monad m, Monad n) => (forall c. m c -> n c) -> WriterP w p a' a b' b m b -> WriterP w p a' a b' b n b