Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype ComposeT (t1 :: (Type -> Type) -> Type -> Type) (t2 :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) (a :: Type) Source #
ComposeT | |
|
Instances
(Monad (t1 (t2 m)), MonadTrans (ComposeT t1 t2), MonadBase b m) => MonadBase b (ComposeT t1 t2 m) Source # | Elevated to |
Defined in Control.Monad.Trans.Compose | |
(Monad (t1 (t2 m)), MonadTransControl (ComposeT t1 t2), MonadBaseControl b m) => MonadBaseControl b (ComposeT t1 t2 m) Source # | Elevated to |
(Monad (t1 (t2 m)), MonadTransControl t1, MonadWriter w (t2 m)) => MonadWriter w (ComposeT t1 t2 m) Source # | Elevated to `t2 m`. |
(Monad (t1 (t2 m)), MonadTrans t1, MonadState s (t2 m)) => MonadState s (ComposeT t1 t2 m) Source # | Elevated to `t2 m`. |
(Monad (t1 (t2 m)), MonadTransControl t1, MonadReader r (t2 m)) => MonadReader r (ComposeT t1 t2 m) Source # | Elevated to `t2 m`. |
(Monad (t1 (t2 m)), MonadTransControl t1, MonadError e (t2 m)) => MonadError e (ComposeT t1 t2 m) Source # | Elevated to `t2 m`. |
Defined in Control.Monad.Trans.Compose throwError :: e -> ComposeT t1 t2 m a # catchError :: ComposeT t1 t2 m a -> (e -> ComposeT t1 t2 m a) -> ComposeT t1 t2 m a # | |
(forall (m :: Type -> Type). Monad m => Monad (t2 m), MonadTrans t1, MonadTrans t2) => MonadTrans (ComposeT t1 t2) Source # | |
Defined in Control.Monad.Trans.Compose | |
(forall (m :: Type -> Type). Monad m => Monad (t2 m), MonadTransControl t1, MonadTransControl t2) => MonadTransControl (ComposeT t1 t2) Source # | |
Monad (t1 (t2 m)) => Monad (ComposeT t1 t2 m) Source # | |
Functor (t1 (t2 m)) => Functor (ComposeT t1 t2 m) Source # | |
Applicative (t1 (t2 m)) => Applicative (ComposeT t1 t2 m) Source # | |
Defined in Control.Monad.Trans.Compose pure :: a -> ComposeT t1 t2 m a # (<*>) :: ComposeT t1 t2 m (a -> b) -> ComposeT t1 t2 m a -> ComposeT t1 t2 m b # liftA2 :: (a -> b -> c) -> ComposeT t1 t2 m a -> ComposeT t1 t2 m b -> ComposeT t1 t2 m c # (*>) :: ComposeT t1 t2 m a -> ComposeT t1 t2 m b -> ComposeT t1 t2 m b # (<*) :: ComposeT t1 t2 m a -> ComposeT t1 t2 m b -> ComposeT t1 t2 m a # | |
(Monad (t1 (t2 m)), MonadTrans (ComposeT t1 t2), MonadIO m) => MonadIO (ComposeT t1 t2 m) Source # | Elevated to |
Defined in Control.Monad.Trans.Compose | |
type StT (ComposeT t1 t2) a Source # | |
Defined in Control.Monad.Trans.Compose | |
type StM (ComposeT t1 t2 m) a Source # | |
runComposeT :: (forall a. t1 (t2 m) a -> t2 m (StT t1 a)) -> (forall a. t2 m a -> m (StT t2 a)) -> forall a. ComposeT t1 t2 m a -> m (StT t2 (StT t1 a)) Source #
runComposeT' :: (t1 (t2 m) a -> t2 m a) -> (t2 m a -> m a) -> ComposeT t1 t2 m a -> m a Source #