cflp-2009.1.28: Constraint Functional-Logic Programming in Haskell Source code Contents Index

CFLP.Tests.CallTimeChoice

Documentation

tests :: Test Source

ignoreFirstNarrowSecond :: Assertion Source

ignot :: CFLP s => Data s a -> Data s Bool -> Context (Ctx s) -> Data s Bool Source

sharedVarsAreEqual :: Assertion Source

two :: (Monad m, Generic a) => Nondet cs m a -> Nondet cs m [a] Source

noDemandOnSharedVar :: Assertion Source

sharedCompoundTerms :: Assertion Source

negHeads :: CFLP s => Data s [Bool] -> Context (Ctx s) -> Data s [Bool] Source

Produced by Haddock version 2.4.2