Control.Monad.ST.Class

Documentation

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

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

Methods

liftST :: ST s a -> m a

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)

Monad m => MonadST s (STT s m)

MonadST s m => MonadST s (ArrayT e m)

MonadST s m => MonadST s (IntMapT e m)

MonadST s m => MonadST s (MArrayM a e m)