Control.Monad.Trans.Compose

Documentation

newtype ComposeT (t1 :: (Type -> Type) -> Type -> Type) (t2 :: (Type -> Type) -> Type -> Type) (m :: Type -> Type) (a :: Type)

Constructors

ComposeT

Fields

• deComposeT :: t1 (t2 m) a

Instances

(Monad (t1 (t2 m)), MonadTrans (ComposeT t1 t2), MonadBase b m) => MonadBase b (ComposeT t1 t2 m)

Elevated to m.

Defined in Control.Monad.Trans.Compose

Methods

liftBase :: b α -> ComposeT t1 t2 m α

(Monad (t1 (t2 m)), MonadTransControl (ComposeT t1 t2), MonadBaseControl b m) => MonadBaseControl b (ComposeT t1 t2 m)

Elevated to m.

Defined in Control.Monad.Trans.Compose

Associated Types

type StM (ComposeT t1 t2 m) a

Methods

liftBaseWith :: (RunInBase (ComposeT t1 t2 m) b -> b a) -> ComposeT t1 t2 m a

restoreM :: StM (ComposeT t1 t2 m) a -> ComposeT t1 t2 m a

(Monad (t1 (t2 m)), MonadTransControl t1, MonadWriter w (t2 m)) => MonadWriter w (ComposeT t1 t2 m)

Elevated to `t2 m`.

Defined in Control.Monad.Trans.Compose

Methods

writer :: (a, w) -> ComposeT t1 t2 m a

tell :: w -> ComposeT t1 t2 m ()

listen :: ComposeT t1 t2 m a -> ComposeT t1 t2 m (a, w)

pass :: ComposeT t1 t2 m (a, w -> w) -> ComposeT t1 t2 m a

(Monad (t1 (t2 m)), MonadTrans t1, MonadState s (t2 m)) => MonadState s (ComposeT t1 t2 m)

Elevated to `t2 m`.

Defined in Control.Monad.Trans.Compose

Methods

get :: ComposeT t1 t2 m s

put :: s -> ComposeT t1 t2 m ()

state :: (s -> (a, s)) -> ComposeT t1 t2 m a

(Monad (t1 (t2 m)), MonadTransControl t1, MonadReader r (t2 m)) => MonadReader r (ComposeT t1 t2 m)

Elevated to `t2 m`.

Defined in Control.Monad.Trans.Compose

Methods

ask :: ComposeT t1 t2 m r

local :: (r -> r) -> ComposeT t1 t2 m a -> ComposeT t1 t2 m a

reader :: (r -> a) -> ComposeT t1 t2 m a

(Monad (t1 (t2 m)), MonadTransControl t1, MonadError e (t2 m)) => MonadError e (ComposeT t1 t2 m)

Elevated to `t2 m`.

Defined in Control.Monad.Trans.Compose

Methods

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)

Defined in Control.Monad.Trans.Compose

Methods

lift :: Monad m => m a -> ComposeT t1 t2 m a

(forall (m :: Type -> Type). Monad m => Monad (t2 m), MonadTransControl t1, MonadTransControl t2) => MonadTransControl (ComposeT t1 t2)

Defined in Control.Monad.Trans.Compose

Associated Types

type StT (ComposeT t1 t2) a

Methods

liftWith :: Monad m => (Run (ComposeT t1 t2) -> m a) -> ComposeT t1 t2 m a

restoreT :: Monad m => m (StT (ComposeT t1 t2) a) -> ComposeT t1 t2 m a

Monad (t1 (t2 m)) => Monad (ComposeT t1 t2 m)

Defined in Control.Monad.Trans.Compose

Methods

(>>=) :: ComposeT t1 t2 m a -> (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 b

return :: a -> ComposeT t1 t2 m a

Functor (t1 (t2 m)) => Functor (ComposeT t1 t2 m)

Defined in Control.Monad.Trans.Compose

Methods

fmap :: (a -> b) -> ComposeT t1 t2 m a -> ComposeT t1 t2 m b

(<$) :: a -> ComposeT t1 t2 m b -> ComposeT t1 t2 m a

Applicative (t1 (t2 m)) => Applicative (ComposeT t1 t2 m)

Defined in Control.Monad.Trans.Compose

Methods

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)

Elevated to m.

Defined in Control.Monad.Trans.Compose

Methods

liftIO :: IO a -> ComposeT t1 t2 m a

type StT (ComposeT t1 t2) a

Defined in Control.Monad.Trans.Compose

type StT (ComposeT t1 t2) a = StT t2 (StT t1 a)

type StM (ComposeT t1 t2 m) a

Defined in Control.Monad.Trans.Compose

type StM (ComposeT t1 t2 m) a = StM (Elevator (ComposeT t1 t2) m) a

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))

runComposeT' :: (t1 (t2 m) a -> t2 m a) -> (t2 m a -> m a) -> ComposeT t1 t2 m a -> m a