Modulemmorph-1.2.2
Control.Monad.Trans.Compose
- 1 type
- 1 value
- Packagemmorph-1.2.2
- Exports2
- LicenceBSD-3-Clause
newtype
newtype ComposeT (f :: (Type -> Type) -> Type -> Type) (g :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) aConstructors
ComposeTinfixr 9getComposeT :: 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.ComposeMonadError e (f (g m)) => MonadError e (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadReader r (f (g m)) => MonadReader r (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadState s (f (g m)) => MonadState s (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadWriter 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.ComposeMonad (f (g m)) => Monad (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeFunctor (f (g m)) => Functor (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadFail (f (g m)) => MonadFail (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeApplicative (f (g m)) => Applicative (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeFoldable (f (g m)) => Foldable (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeTraversable (f (g m)) => Traversable (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeAlternative (f (g m)) => Alternative (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadPlus (f (g m)) => MonadPlus (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadIO (f (g m)) => MonadIO (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeMonadCont (f (g m)) => MonadCont (ComposeT f g m)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeEq (f (g m) a) => Eq (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeOrd (f (g m) a) => Ord (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeRead (f (g m) a) => Read (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.ComposeShow (f (g m) a) => Show (ComposeT f g m a)Defined in mmorph-1.2.2 · Control.Monad.Trans.Compose