Control.Monad.MonadST
Description
Documentation
class Monad m => MonadST s m | m -> s whereSource
A type class for monads that are able to perform ST
actions.
Instances
MonadST s (ST s) | |
MonadST s (SSTErrMonad e st s) |
writeSTRef :: MonadST s m => STRef s a -> a -> m ()Source
modifySTRef :: MonadST s m => STRef s a -> (a -> a) -> m ()Source