io-classes-mtl-0.1.0.2: Experimental MTL instances for io-classes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Control.Monad.Class.MonadST.Trans

Orphan instances

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

Methods

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

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

Methods

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

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

Methods

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

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

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

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

Methods

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

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

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