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 | Test.Speculate |
classifyOn | Test.Speculate |
classStats | Test.Speculate |
classStatsT | Test.Speculate |
ClosePunctuation | Test.Speculate.Utils |
closureLimit | Test.Speculate.Reason |
cnormalize | Test.Speculate.CondReason |
collapse | Test.Speculate.Reason |
collectBy | Test.Speculate.Utils |
collectOn | Test.Speculate.Utils |
collectSndByFst | Test.Speculate.Utils |
collectWith | Test.Speculate.Utils |
commutative | Test.Speculate |
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 |
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 |