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

CFLP.Tests.CallTimeChoice

Contents failure* in this test case.

Synopsis

tests :: Test ignoreFirstNarrowSecond :: Assertion ignot :: CFLP s => Data s a -> Data s Bool -> Context (Ctx s) -> Data s Bool sharedVarsAreEqual :: Assertion two :: (Monad m, Generic a) => Nondet cs m a -> Nondet cs m [a] noDemandOnSharedVar :: Assertion sharedCompoundTerms :: Assertion negHeads :: CFLP s => Data s [Bool] -> Context (Ctx s) -> Data s [Bool]

Documentation

tests :: Test Source

failure* in this test case.

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