Index - C
| C | Test.Speculate |
| canonicalCEqn | Test.Speculate.CondReason |
| canonicalCEqnBy | Test.Speculate.CondReason |
| canonicalEqn | Test.Speculate.Reason |
| canonicalization | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalizationWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalize | Test.Speculate.Expr.Core, 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.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalRule | Test.Speculate.Reason |
| canonicalVariations | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canReduceTo | Test.Speculate.Reason |
| cast | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| catPairs | Test.Speculate.Utils |
| 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 |
| chain | Test.Speculate.Utils |
| Char | Test.Speculate.Utils |
| char | Test.Speculate |
| check | Test.Speculate |
| checkFor | Test.Speculate |
| checkMode | Test.Speculate.Args |
| checkResult | Test.Speculate |
| checkResultFor | Test.Speculate |
| chr | Test.Speculate.Utils |
| 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 |
| clamp | Test.Speculate.Utils |
| classesFromSchemas | Test.Speculate.Engine |
| classesFromSchemasAndVariables | Test.Speculate.Engine |
| classify | Test.Speculate |
| classifyBy | |
| 1 (Function) | Test.Speculate |
| 2 (Function) | Test.Speculate.Utils |
| classifyOn | |
| 1 (Function) | Test.Speculate |
| 2 (Function) | Test.Speculate.Utils |
| classifySndByFst | Test.Speculate.Utils |
| classifyWith | Test.Speculate.Utils |
| classStats | Test.Speculate |
| classStatsT | Test.Speculate |
| ClosePunctuation | Test.Speculate.Utils |
| closureLimit | Test.Speculate.Reason |
| cnormalize | Test.Speculate.CondReason |
| collapse | Test.Speculate.Reason |
| commutations | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| commutative | Test.Speculate |
| commutativeOperators | Test.Speculate.Reason |
| compare | Test.Speculate.Utils |
| compareComplexity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareComplexityThenIndex | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareE | Test.Speculate.Reason |
| compareIndex | Test.Speculate.Utils |
| compareLexicographically | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareLexicographicallyBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareQuickly | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| comparing | Test.Speculate.Utils |
| comparison | Test.Speculate |
| 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 |
| conditionalEquivalences | Test.Speculate.Engine |
| conditionalTheoryFromThyAndReps | Test.Speculate.Engine |
| conditionStats | Test.Speculate |
| conditionStatsT | Test.Speculate |
| ConnectorPunctuation | Test.Speculate.Utils |
| 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.Args, Test.Speculate |
| constants | Test.Speculate.Args, Test.Speculate |
| constifications | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| constify | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| consts | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Control | Test.Speculate.Utils |
| count | Test.Speculate.Utils |
| counterExample | Test.Speculate |
| counterExamples | Test.Speculate |
| countListTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| counts | Test.Speculate.Utils, Test.Speculate |
| countsBy | Test.Speculate.Utils, Test.Speculate |
| countsOn | Test.Speculate.Utils, Test.Speculate |
| creductions1 | Test.Speculate.CondReason |
| criticalPairs | Test.Speculate.Reason |
| CurrencySymbol | Test.Speculate.Utils |
| curry | Test.Speculate.Utils |
| curry3 | Test.Speculate.Utils |
| curry4 | Test.Speculate.Utils |