Control.Monad.MonadST

Idea from http://haskell.org/pipermail/libraries/2003-September/001411.html

Documentation

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

A type class for monads that are able to perform ST actions.

Methods

liftST :: ST s a -> m a

Instances

MonadST s (ST s)

MonadST s (SSTErrMonad e st s)

readSTRef :: MonadST s m => STRef s a -> m a

writeSTRef :: MonadST s m => STRef s a -> a -> m ()

newSTRef :: MonadST s m => a -> m (STRef s a)

modifySTRef :: MonadST s m => STRef s a -> (a -> a) -> m ()