| ! | 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 |
| callTimeChoice | |
| 1 (Function) | CFLP.Strategies.CallTimeChoice, CFLP.Strategies |
| 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, CFLP.Strategies |
| CTC | CFLP.Strategies.CallTimeChoice, CFLP.Strategies |
| Ctx | CFLP |
| currentDepth | CFLP.Strategies.DepthCounter, CFLP.Strategies |
| Data | CFLP |
| dCons | CFLP.Types.List |
| Decons | CFLP |
| Depth | CFLP.Strategies.DepthCounter, CFLP.Strategies |
| DepthCounter | CFLP.Strategies.DepthCounter, CFLP.Strategies |
| DepthCtx | CFLP.Strategies.DepthCounter, CFLP.Strategies |
| DepthLim | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| DepthLimCtx | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| depthLimit | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| DepthLimiter | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| dfs | CFLP.Strategies |
| dfsWithEvalTimeChoice | CFLP.Strategies.DepthFirst, CFLP.Strategies |
| dNil | CFLP.Types.List |
| Enumerable | CFLP |
| enumeration | CFLP |
| eval | CFLP |
| evalPartial | CFLP |
| evalPrint | CFLP |
| failure | CFLP |
| false | CFLP.Types.Bool |
| flip | CFLP.Tests.HigherOrder |
| foldr | CFLP.Types.List |
| fromMonadic | CFLP |
| fun | CFLP |
| functionConversion | CFLP.Tests.HigherOrder |
| Generic | CFLP |
| generic | CFLP |
| genericOps | CFLP |
| groundNormalForm | CFLP |
| head | CFLP.Types.List |
| ID | CFLP |
| id | CFLP.Tests.HigherOrder |
| ignoreFirstNarrowSecond | CFLP.Tests.CallTimeChoice |
| ignot | CFLP.Tests.CallTimeChoice |
| incrementDepth | CFLP.Strategies.DepthCounter, CFLP.Strategies |
| initID | CFLP |
| limDFS | CFLP.Strategies |
| limitDepth | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| map | CFLP.Types.List |
| mapSharedUnknowns | CFLP.Tests.HigherOrder |
| Match | CFLP |
| memberWithFold | CFLP.Tests.HigherOrder |
| Monadic | |
| 1 (Type/Class) | CFLP |
| 2 (Data Constructor) | 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 |
| resetDepthLimit | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| Result | CFLP |
| reverseWithFoldr | CFLP.Tests.HigherOrder |
| setDepthLimit | CFLP.Strategies.DepthLimit, CFLP.Strategies |
| sharedCompoundTerms | CFLP.Tests.CallTimeChoice |
| sharedVarsAreEqual | CFLP.Tests.CallTimeChoice |
| StoreCTC | CFLP.Strategies.CallTimeChoice, CFLP.Strategies |
| 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 |