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

Safe HaskellSafe-Inferred

Control.Monad.ST.Logic

Documentation

type LogicST s = LogicT s (ST s)Source

runLogicST :: (forall s. LogicST s a) -> (a -> r -> r) -> r -> rSource

observeST :: (forall s. LogicST s a) -> aSource

observeAllST :: (forall s. LogicST s a) -> [a]Source

observeManyST :: Int -> (forall s. LogicST s a) -> [a]Source

liftST :: ST s a -> LogicST s aSource