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

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 |

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 |