cflp-2009.1.24: Constraint Functional-Logic Programming in Haskell

CFLP.Tests.HigherOrder

tests :: TestSource

applyNotFunction :: AssertionSource

applyBinCons :: AssertionSource

applyChoice :: AssertionSource

callTimeChoice :: AssertionSource

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

mapSharedUnknowns :: AssertionSource

memberWithFold :: AssertionSource

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

overApplication :: AssertionSource

reverseWithFoldr :: AssertionSource

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 :: AssertionSource

functionConversion :: AssertionSource