funsat-0.5.2: A modern DPLL-style SAT solver
Control.Monad.MonadST
Description
Idea from http://haskell.org/pipermail/libraries/2003-September/001411.html
Synopsis
class Monad m => MonadST s m | m -> s whereSource
A type class for monads that are able to perform ST actions.
ST
Methods
liftST :: ST s a -> m aSource
Instances
readSTRef :: MonadST s m => STRef s a -> m aSource
writeSTRef :: MonadST s m => STRef s a -> a -> m ()Source
newSTRef :: MonadST s m => a -> m (STRef s a)Source
modifySTRef :: MonadST s m => STRef s a -> (a -> a) -> m ()Source