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

Search:

! CFLP :! CFLP === CFLP.Types.Bool ? CFLP after CFLP.Tests.HigherOrder apply CFLP applyBinCons CFLP.Tests.HigherOrder applyChoice CFLP.Tests.HigherOrder ApplyCons CFLP applyCons CFLP applyNotFunction CFLP.Tests.HigherOrder assertResults CFLP.Tests assertResultsLimit CFLP.Tests assertResultsN CFLP.Tests bfs CFLP.Strategies callTimeChoice 1 (Function) CFLP.Strategies.CallTimeChoice 2 (Function) CFLP.Tests.HigherOrder caseOf CFLP caseOf_ CFLP CFLP CFLP Computation CFLP cons CFLP ConsPatList CFLP constr CFLP constructors CFLP Context 1 (Type/Class) CFLP 2 (Data Constructor) CFLP countDepth CFLP.Strategies.DepthCounter CTC CFLP.Strategies.CallTimeChoice Ctx CFLP currentDepth CFLP.Strategies.DepthCounter Data CFLP dCons CFLP.Types.List Decons CFLP Depth CFLP.Strategies.DepthCounter DepthCounter CFLP.Strategies.DepthCounter DepthCtx CFLP.Strategies.DepthCounter DepthLim CFLP.Strategies.DepthLimit DepthLimCtx CFLP.Strategies.DepthLimit depthLimit CFLP.Strategies.DepthLimit DepthLimiter CFLP.Strategies.DepthLimit dfs CFLP.Strategies diag CFLP.Strategies dNil CFLP.Types.List Enumerable CFLP enumeration CFLP eval CFLP evalPartial CFLP evalPrint CFLP failure CFLP fair CFLP.Strategies false CFLP.Types.Bool flip CFLP.Tests.HigherOrder foldr CFLP.Types.List fun CFLP functionConversion CFLP.Tests.HigherOrder Generic CFLP generic CFLP genericOps CFLP getRandomGen CFLP.Strategies.Random groundNormalForm CFLP head CFLP.Types.List ID CFLP id CFLP.Tests.HigherOrder ignoreFirstNarrowSecond CFLP.Tests.CallTimeChoice ignot CFLP.Tests.CallTimeChoice incrementDepth CFLP.Strategies.DepthCounter initID CFLP iterDFS CFLP.Strategies limDFS CFLP.Strategies limitDepth CFLP.Strategies.DepthLimit map CFLP.Types.List mapSharedUnknowns CFLP.Tests.HigherOrder Match CFLP memberWithFold CFLP.Tests.HigherOrder Monadic CFLP monadic CFLP Narrow CFLP narrow CFLP negHeads CFLP.Tests.CallTimeChoice nil CFLP.Types.List noDemandOnSharedVar CFLP.Tests.CallTimeChoice Nondet CFLP nondet CFLP NormalForm CFLP not CFLP.Types.Bool null CFLP.Types.List oneOf CFLP overApplication CFLP.Tests.HigherOrder partialNormalForm CFLP patterns CFLP pCons CFLP.Types.List pFalse CFLP.Types.Bool pNil CFLP.Types.List pointfreeReverse CFLP.Tests.HigherOrder primitive CFLP pTrue CFLP.Types.Bool randomise CFLP.Strategies.Random Randomiser CFLP.Strategies.Random resetDepthLimit CFLP.Strategies.DepthLimit Result CFLP reverseWithFoldr CFLP.Tests.HigherOrder Rnd CFLP.Strategies.Random RndCtx CFLP.Strategies.Random rndDFS CFLP.Strategies setDepthLimit CFLP.Strategies.DepthLimit setRandomGen CFLP.Strategies.Random sharedCompoundTerms CFLP.Tests.CallTimeChoice sharedVarsAreEqual CFLP.Tests.CallTimeChoice StoreCTC CFLP.Strategies.CallTimeChoice tail CFLP.Types.List tests 1 (Function) CFLP.Tests.CallTimeChoice 2 (Function) CFLP.Tests.HigherOrder true CFLP.Types.Bool two 1 (Function) CFLP.Tests.CallTimeChoice 2 (Function) CFLP.Tests.HigherOrder unknown CFLP UpdateT CFLP withHNF CFLP withUnique CFLP ^: CFLP.Types.List