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

Safe Haskell	Safe-Inferred

Data.IORef.Logic

Documentation

type IORef s = Ref s IO Source

newIORef :: a -> LogicIO s (IORef s a)Source

readIORef :: IORef s a -> LogicIO s aSource

writeIORef :: IORef s a -> a -> LogicIO s ()Source

modifyIORef :: IORef s a -> (a -> a) -> LogicIO s ()Source

modifyIORef' :: IORef s a -> (a -> a) -> LogicIO s ()Source