stateful-mtl-1.0.2: Stateful monad transformers with pure evaluation semantics.

Control.Monad.ST.Class

Synopsis

Documentation

class Monad m => MonadST s m | m -> s whereSource

Type class of monads that can perform lifted computation in the ST monad.

Methods

liftST :: ST s a -> m aSource

Instances

MonadST s m => MonadST s (ListT m) 
MonadST s m => MonadST s (MaybeT m) 
MonadST s (ST s) 
(Monoid w, MonadST s m) => MonadST s (WriterT w m) 
(Monoid w, MonadST s m) => MonadST s (WriterT w m) 
MonadST s m => MonadST s (ReaderT r m) 
MonadST s m => MonadST s (StateT s' m) 
MonadST s m => MonadST s (StateT s' m) 
MonadST s m => MonadST s (IntMapT e m) 
MonadST s m => MonadST s (ArrayT s e m) 
MonadST s m => MonadST s (MArrayM a e m)