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

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 c Source

id :: Data s a -> Data s a Source

pointfreeReverse :: Assertion Source

functionConversion :: Assertion Source

Produced by Haddock version 2.4.2