cflp-2009.1.23.2: Constraint Functional-Logic Programming in Haskell

CFLP.Tests.HigherOrder

Documentation

tests :: Test Source

applyNotFunction :: Assertion Source

applyBinCons :: Assertion Source

applyChoice :: Assertion Source

callTimeChoice :: Assertion Source

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

mapSharedUnknowns :: Assertion Source

memberWithFold :: Assertion Source

after :: CFLP s => Data s (b -> c) -> Data s (a -> b) -> Data s (a -> c)Source

overApplication :: Assertion Source

reverseWithFoldr :: Assertion Source

flip :: CFLP s => Data s (a -> b -> c) -> Data s b -> Data s a -> Context (Ctx s) -> ID -> Data s cSource

id :: Data s a -> Data s aSource

pointfreeReverse :: Assertion Source

functionConversion :: Assertion Source