funsat-0.5.1: A modern DPLL-style SAT solver
Source code
Contents
Index
Control.Monad.MonadST
Description
Idea from
http://haskell.org/pipermail/libraries/2003-September/001411.html
Synopsis
class
Monad
m =>
MonadST
s m | m -> s
where
liftST
::
ST
s a -> m a
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 ()
Documentation
class
Monad
m =>
MonadST
s m | m -> s
where
Source
A type class for monads that are able to perform
ST
actions.
Methods
liftST
::
ST
s a -> m a
Source
Instances
MonadST
s (
ST
s)
MonadST
s (
SSTErrMonad
e st s)
readSTRef
::
MonadST
s m =>
STRef
s a -> m a
Source
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
Produced by
Haddock
version 2.3.0