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

Index

IORefData.IORef.Logic
liftST 
1 (Function)Control.Monad.ST.Logic.Internal
2 (Function)Control.Monad.ST.Logic
3 (Function)Control.Monad.IO.Logic
LogicIOControl.Monad.IO.Logic
LogicSTControl.Monad.ST.Logic
LogicTControl.Monad.ST.Logic.Internal
modifyIORefData.IORef.Logic
modifyIORef'Data.IORef.Logic
modifyRefControl.Monad.ST.Logic.Internal
modifyRef'Control.Monad.ST.Logic.Internal
modifySTRefData.STRef.Logic
modifySTRef'Data.STRef.Logic
newIORefData.IORef.Logic
newRefControl.Monad.ST.Logic.Internal
newSTRefData.STRef.Logic
observeAllIOControl.Monad.IO.Logic
observeAllST 
1 (Function)Control.Monad.ST.Logic.Internal
2 (Function)Control.Monad.ST.Logic
observeAllTControl.Monad.ST.Logic.Internal
observeIOControl.Monad.IO.Logic
observeManyIOControl.Monad.IO.Logic
observeManyST 
1 (Function)Control.Monad.ST.Logic.Internal
2 (Function)Control.Monad.ST.Logic
observeManyTControl.Monad.ST.Logic.Internal
observeST 
1 (Function)Control.Monad.ST.Logic.Internal
2 (Function)Control.Monad.ST.Logic
observeTControl.Monad.ST.Logic.Internal
readIORefData.IORef.Logic
readRefControl.Monad.ST.Logic.Internal
readSTRefData.STRef.Logic
RefControl.Monad.ST.Logic.Internal
runLogicIOControl.Monad.IO.Logic
runLogicST 
1 (Function)Control.Monad.ST.Logic.Internal
2 (Function)Control.Monad.ST.Logic
runLogicTControl.Monad.ST.Logic.Internal
STRefData.STRef.Logic
writeIORefData.IORef.Logic
writeRefControl.Monad.ST.Logic.Internal
writeSTRefData.STRef.Logic