Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Class.MonadST.Trans

Contents

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 #