io-classes:mtl
Safe HaskellNone
LanguageHaskell2010

Control.Monad.Class.MonadST.Trans

Orphan instances

MonadST m => MonadST (ExceptT e m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (ExceptT e m)) a -> ExceptT e m a #

withLiftST :: (forall s. (forall a. ST s a -> ExceptT e m a) -> b) -> b #

MonadST m => MonadST (StateT s m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (StateT s m)) a -> StateT s m a #

withLiftST :: (forall s0. (forall a. ST s0 a -> StateT s m a) -> b) -> b #

MonadST m => MonadST (StateT s m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (StateT s m)) a -> StateT s m a #

withLiftST :: (forall s0. (forall a. ST s0 a -> StateT s m a) -> b) -> b #

(Monoid w, MonadST m) => MonadST (WriterT w m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (WriterT w m)) a -> WriterT w m a #

withLiftST :: (forall s. (forall a. ST s a -> WriterT w m a) -> b) -> b #

(Monoid w, MonadST m) => MonadST (WriterT w m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (WriterT w m)) a -> WriterT w m a #

withLiftST :: (forall s. (forall a. ST s a -> WriterT w m a) -> b) -> b #

MonadST m => MonadST (ContT r m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (ContT r m)) a -> ContT r m a #

withLiftST :: (forall s. (forall a. ST s a -> ContT r m a) -> b) -> b #

(Monoid w, MonadST m) => MonadST (RWST r w s m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (RWST r w s m)) a -> RWST r w s m a #

withLiftST :: (forall s0. (forall a. ST s0 a -> RWST r w s m a) -> b) -> b #

(Monoid w, MonadST m) => MonadST (RWST r w s m) Source # 
Instance details

Methods

stToIO :: ST (PrimState (RWST r w s m)) a -> RWST r w s m a #

withLiftST :: (forall s0. (forall a. ST s0 a -> RWST r w s m a) -> b) -> b #