Contents
Index
logicst-0.1.0.0: Backtracking mutable references in the ST and IO monads
Index
IORef
Data.IORef.Logic
liftST
1 (Function)
Control.Monad.ST.Logic.Internal
2 (Function)
Control.Monad.ST.Logic
3 (Function)
Control.Monad.IO.Logic
LogicIO
Control.Monad.IO.Logic
LogicST
Control.Monad.ST.Logic
LogicT
Control.Monad.ST.Logic.Internal
modifyIORef
Data.IORef.Logic
modifyIORef'
Data.IORef.Logic
modifyRef
Control.Monad.ST.Logic.Internal
modifyRef'
Control.Monad.ST.Logic.Internal
modifySTRef
Data.STRef.Logic
modifySTRef'
Data.STRef.Logic
newIORef
Data.IORef.Logic
newRef
Control.Monad.ST.Logic.Internal
newSTRef
Data.STRef.Logic
observeAllIO
Control.Monad.IO.Logic
observeAllST
1 (Function)
Control.Monad.ST.Logic.Internal
2 (Function)
Control.Monad.ST.Logic
observeAllT
Control.Monad.ST.Logic.Internal
observeIO
Control.Monad.IO.Logic
observeManyIO
Control.Monad.IO.Logic
observeManyST
1 (Function)
Control.Monad.ST.Logic.Internal
2 (Function)
Control.Monad.ST.Logic
observeManyT
Control.Monad.ST.Logic.Internal
observeST
1 (Function)
Control.Monad.ST.Logic.Internal
2 (Function)
Control.Monad.ST.Logic
observeT
Control.Monad.ST.Logic.Internal
readIORef
Data.IORef.Logic
readRef
Control.Monad.ST.Logic.Internal
readSTRef
Data.STRef.Logic
Ref
Control.Monad.ST.Logic.Internal
runLogicIO
Control.Monad.IO.Logic
runLogicST
1 (Function)
Control.Monad.ST.Logic.Internal
2 (Function)
Control.Monad.ST.Logic
runLogicT
Control.Monad.ST.Logic.Internal
STRef
Data.STRef.Logic
writeIORef
Data.IORef.Logic
writeRef
Control.Monad.ST.Logic.Internal
writeSTRef
Data.STRef.Logic