funsat-0.4: 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 (DPLLMonad' 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.1.0