logicst-0.1.0.0: Backtracking mutable references in the ST and IO monads

Safe HaskellSafe-Inferred

Data.STRef.Logic

Documentation

type STRef s = Ref s (ST s)Source

newSTRef :: a -> LogicST s (STRef s a)Source

readSTRef :: STRef s a -> LogicST s aSource

writeSTRef :: STRef s a -> a -> LogicST s ()Source

modifySTRef :: STRef s a -> (a -> a) -> LogicST s ()Source

modifySTRef' :: STRef s a -> (a -> a) -> LogicST s ()Source