! | CFLP |

:! | CFLP |

<+ | CFLP.Strategies |

=== | 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 |