| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Control.Monad.Class.MonadST.Trans
Contents
Orphan instances
| MonadST m => MonadST (ExceptT e m) Source # | |
Methods withLiftST :: (forall s. (forall a. ST s a -> ExceptT e m a) -> b) -> b # | |
| MonadST m => MonadST (StateT s m) Source # | |
Methods withLiftST :: (forall s0. (forall a. ST s0 a -> StateT s m a) -> b) -> b # | |
| MonadST m => MonadST (StateT s m) Source # | |
Methods withLiftST :: (forall s0. (forall a. ST s0 a -> StateT s m a) -> b) -> b # | |
| (Monoid w, MonadST m) => MonadST (WriterT w m) Source # | |
Methods withLiftST :: (forall s. (forall a. ST s a -> WriterT w m a) -> b) -> b # | |
| (Monoid w, MonadST m) => MonadST (WriterT w m) Source # | |
Methods withLiftST :: (forall s. (forall a. ST s a -> WriterT w m a) -> b) -> b # | |
| MonadST m => MonadST (ContT r m) Source # | |
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 # | |
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 # | |
Methods withLiftST :: (forall s0. (forall a. ST s0 a -> RWST r w s m a) -> b) -> b # | |