Control.Monad.ST.Trans

Documentation

data STT s m a

ST monad transformer.

Instances

MonadReader r m => MonadReader r (STT s m)

MonadState s m => MonadState s (STT s' m)

Monad m => MonadST s (STT s m)

MonadTrans (STT s)

Monad m => Monad (STT s m)

MonadFix m => MonadFix (STT s m)

MonadPlus m => MonadPlus (STT s m)

MonadIO m => MonadIO (STT s m)

runSTT :: Monad m => (forall s. STT s m a) -> m a

Safely executes the state-transformer part of a monadic computation in the STT monad transformer.

module Control.Monad.ST.Class