canonicalCEqn | Test.Speculate.CondReason |
canonicalCEqnBy | Test.Speculate.CondReason |
canonicalEqn | Test.Speculate.Reason |
canonicalize | Test.Speculate.Expr.Canon, Test.Speculate.Expr, Test.Speculate.Engine |
canonicalizeCEqn | Test.Speculate.CondReason |
canonicalizeCEqnWith | Test.Speculate.CondReason |
canonicalizeEqn | Test.Speculate.Reason |
canonicalizeSemiEquationWith | Test.Speculate.SemiReason |
canonicalizeShyWith | Test.Speculate.SemiReason |
canonicalizeWith | Test.Speculate.Expr.Canon, Test.Speculate.Expr, Test.Speculate.Engine |
canonicalRule | Test.Speculate.Reason |
canonicalWith | Test.Speculate.Expr.Canon, Test.Speculate.Expr, Test.Speculate.Engine |
canReduceTo | Test.Speculate.Reason |
cast | Test.Speculate |
cclasses | Test.Speculate.CondReason |
cdelete | Test.Speculate.CondReason |
cdiscard | Test.Speculate.CondReason |
cequations | Test.Speculate.CondReason |
cequivalent | Test.Speculate.CondReason |
cfilter | Test.Speculate.CondReason |
cfinalize | Test.Speculate.CondReason |
char | Test.Speculate |
check | Test.Speculate |
checkFor | Test.Speculate |
checkMode | Test.Speculate.Args |
checkResult | Test.Speculate |
checkResultFor | Test.Speculate |
Chy | |
1 (Type/Class) | Test.Speculate.CondReason |
2 (Data Constructor) | Test.Speculate.CondReason |
cimplications | Test.Speculate.CondReason |
cinsert | Test.Speculate.CondReason |
cIsInstanceOf | Test.Speculate.CondReason |
classesFromSchemas | Test.Speculate.Engine |
closureLimit | Test.Speculate.Reason |
cnormalize | Test.Speculate.CondReason |
collapse | Test.Speculate.Reason |
commutative | Test.Speculate |
compareComplexity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
compareComplexityThen | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
compareE | Test.Speculate.Reason |
compareExpr | Test.Speculate.Args |
comparisonLE | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
comparisonLT | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
Complete | Test.Speculate.Args |
complete | |
1 (Function) | Test.Speculate.Args |
2 (Function) | Test.Speculate.Reason |
CompleteDir | Test.Speculate.Args |
CompleteFile | Test.Speculate.Args |
CompleteValue | Test.Speculate.Args |
compose | Test.Speculate.Reason |
computeInstances | Test.Speculate.Args |
computeMaxCondSize | Test.Speculate.Args |
computeMaxSemiSize | Test.Speculate.Args |
concatMapT | Test.Speculate |
concatT | Test.Speculate |
condEqual | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
condEqualM | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
conditionalComparisonLE | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
conditionalComparisonLT | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
conditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
conditionalEquivalences | Test.Speculate.Engine |
conditionalTheoryFromThyAndReps | Test.Speculate.Engine |
cons0 | Test.Speculate |
cons1 | Test.Speculate |
cons10 | Test.Speculate |
cons11 | Test.Speculate |
cons12 | Test.Speculate |
cons2 | Test.Speculate |
cons3 | Test.Speculate |
cons4 | Test.Speculate |
cons5 | Test.Speculate |
cons6 | Test.Speculate |
cons7 | Test.Speculate |
cons8 | Test.Speculate |
cons9 | Test.Speculate |
consider | Test.Speculate.Engine |
Constant | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
constant | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
constants | Test.Speculate.Args, Test.Speculate |
consts | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
counterExample | Test.Speculate |
counterExamples | Test.Speculate |
countVar | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
countVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
creductions1 | Test.Speculate.CondReason |
criticalPairs | Test.Speculate.Reason |