Index - C
| 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 |