Control.Monad.Trans.Compose · mmorph-1.2.2

newtypenewtype ComposeT (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) a

Source#

Composition of monad transformers.

Constructors

ComposeTinfixr 9
- getComposeT :: f (g m) a

Instances21MonadRWS, MFunctor, MonadError, MonadReader, MonadState, MonadWriter, …

(MonadReader r (f (g m)), MonadWriter w (f (g m)), MonadState s (f (g m))) => MonadRWS r w s (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
(MFunctor f, MFunctor g, forall (m :: Type -> Type). Monad m => Monad (g m)) => MFunctor (ComposeT f g)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadError e (f (g m)) => MonadError e (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadReader r (f (g m)) => MonadReader r (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadState s (f (g m)) => MonadState s (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadWriter w (f (g m)) => MonadWriter w (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
(MFunctor f, MonadTrans f, MonadTrans g) => MonadTrans (ComposeT f g)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Monad (f (g m)) => Monad (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Functor (f (g m)) => Functor (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadFail (f (g m)) => MonadFail (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Applicative (f (g m)) => Applicative (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Foldable (f (g m)) => Foldable (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Traversable (f (g m)) => Traversable (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Alternative (f (g m)) => Alternative (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadPlus (f (g m)) => MonadPlus (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadIO (f (g m)) => MonadIO (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
MonadCont (f (g m)) => MonadCont (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Eq (f (g m) a) => Eq (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Ord (f (g m) a) => Ord (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Read (f (g m) a) => Read (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose
Show (f (g m) a) => Show (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose