Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Monad.Class.MonadST.Trans

Contents

Orphan instances

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 #