mmorph-1.0.6: Monad morphisms

Safe HaskellSafe
LanguageHaskell98

Control.Monad.Trans.Compose

Contents

Description

Composition of monad transformers. A higher-order version of Data.Functor.Compose.

Synopsis

ComposeT

newtype ComposeT f g m a infixr 9 Source

Composition of monad transformers.

Constructors

ComposeT infixr 9 

Fields

getComposeT :: f (g m) a
 

Instances

MonadRWS r w s (f (g m)) => MonadRWS r w s (ComposeT f g m) Source 
MonadError e (f (g m)) => MonadError e (ComposeT f g m) Source 
MonadReader r (f (g m)) => MonadReader r (ComposeT f g m) Source 
MonadState s (f (g m)) => MonadState s (ComposeT f g m) Source 
MonadWriter w (f (g m)) => MonadWriter w (ComposeT f g m) Source 
(MFunctor f, MonadTrans f, MonadTrans g) => MonadTrans (ComposeT f g) Source 
Monad (f (g m)) => Monad (ComposeT f g m) Source 
Functor (f (g m)) => Functor (ComposeT f g m) Source 
Applicative (f (g m)) => Applicative (ComposeT f g m) Source 
Foldable (f (g m)) => Foldable (ComposeT f g m) Source 
Traversable (f (g m)) => Traversable (ComposeT f g m) Source 
Alternative (f (g m)) => Alternative (ComposeT f g m) Source 
MonadPlus (f (g m)) => MonadPlus (ComposeT f g m) Source 
MonadIO (f (g m)) => MonadIO (ComposeT f g m) Source 
MonadCont (f (g m)) => MonadCont (ComposeT f g m) Source 
Eq (f (g m) a) => Eq (ComposeT f g m a) Source 
Ord (f (g m) a) => Ord (ComposeT f g m a) Source 
Read (f (g m) a) => Read (ComposeT f g m a) Source 
Show (f (g m) a) => Show (ComposeT f g m a) Source 

mapComposeT :: (f (g m) a -> p (q n) b) -> ComposeT f g m a -> ComposeT p q n b Source

Transform the computation inside a ComposeT.