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

Safe HaskellSafe-Inferred

Control.Monad.IO.Logic

Documentation

type LogicIO s = LogicT s IOSource

runLogicIO :: (forall s. LogicIO s a) -> (a -> IO r -> IO r) -> IO r -> IO rSource

observeIO :: (forall s. LogicIO s a) -> IO aSource

observeAllIO :: (forall s. LogicIO s a) -> IO [a]Source

observeManyIO :: Int -> (forall s. LogicIO s a) -> IO [a]Source

liftST :: ST RealWorld a -> LogicIO s aSource