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