Control.Monad.Trans.Control

Documentation

class MonadTrans t => MonadTransControl t where

Minimal complete definition

liftWith, restoreT

Associated Types

type StT t a

Methods

liftWith :: Monad m => (Run t -> m a) -> t m a

restoreT :: Monad m => m (StT t a) -> t m a

Instances

MonadTransControl MaybeT

Defined in Control.Monad.Trans.Control

Associated Types

type StT MaybeT a :: *

Methods

liftWith :: Monad m => (Run MaybeT -> m a) -> MaybeT m a

restoreT :: Monad m => m (StT MaybeT a) -> MaybeT m a

Monoid w => MonadTransControl (WriterT w)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (WriterT w) a :: *

Methods

liftWith :: Monad m => (Run (WriterT w) -> m a) -> WriterT w m a

restoreT :: Monad m => m (StT (WriterT w) a) -> WriterT w m a

Monoid c => MonadTransControl (AccumT c)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (AccumT c) a :: *

Methods

liftWith :: Monad m => (Run (AccumT c) -> m a) -> AccumT c m a

restoreT :: Monad m => m (StT (AccumT c) a) -> AccumT c m a

Monoid w => MonadTransControl (WriterT w)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (WriterT w) a :: *

Methods

liftWith :: Monad m => (Run (WriterT w) -> m a) -> WriterT w m a

restoreT :: Monad m => m (StT (WriterT w) a) -> WriterT w m a

MonadTransControl (StateT s)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (StateT s) a :: *

Methods

liftWith :: Monad m => (Run (StateT s) -> m a) -> StateT s m a

restoreT :: Monad m => m (StT (StateT s) a) -> StateT s m a

MonadTransControl (StateT s)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (StateT s) a :: *

Methods

liftWith :: Monad m => (Run (StateT s) -> m a) -> StateT s m a

restoreT :: Monad m => m (StT (StateT s) a) -> StateT s m a

MonadTransControl (IdentityT :: (* -> *) -> * -> *)

Defined in Control.Monad.Trans.Control

Associated Types

type StT IdentityT a :: *

Methods

liftWith :: Monad m => (Run IdentityT -> m a) -> IdentityT m a

restoreT :: Monad m => m (StT IdentityT a) -> IdentityT m a

MonadTransControl (ExceptT e)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (ExceptT e) a :: *

Methods

liftWith :: Monad m => (Run (ExceptT e) -> m a) -> ExceptT e m a

restoreT :: Monad m => m (StT (ExceptT e) a) -> ExceptT e m a

MonadTransControl (ReaderT r :: (* -> *) -> * -> *)

Defined in Control.Monad.Trans.Control

Associated Types

type StT (ReaderT r) a :: *

Methods

liftWith :: Monad m => (Run (ReaderT r) -> m a) -> ReaderT r m a

restoreT :: Monad m => m (StT (ReaderT r) a) -> ReaderT r m a

type Run t = forall n b. Monad n => t n b -> n (StT t b)