Safe Haskell | Safe-Inferred |
---|
Data.STRef.Logic
Documentation
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
logicst-0.1.0.0: Backtracking mutable references in the ST and IO monads
Safe Haskell | Safe-Inferred |
---|
Data.STRef.Logic
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