Safe Haskell | Safe-Inferred |
---|
Documentation
runLogicST :: (forall s. LogicST s a) -> (a -> r -> r) -> r -> rSource
observeAllST :: (forall s. LogicST s a) -> [a]Source
observeManyST :: Int -> (forall s. LogicST s a) -> [a]Source
Safe Haskell | Safe-Inferred |
---|
runLogicST :: (forall s. LogicST s a) -> (a -> r -> r) -> r -> rSource
observeAllST :: (forall s. LogicST s a) -> [a]Source
observeManyST :: Int -> (forall s. LogicST s a) -> [a]Source