speculate-0.4.16: discovery of properties about Haskell functions

Index - C

CTest.Speculate
canonicalCEqnTest.Speculate.CondReason
canonicalCEqnByTest.Speculate.CondReason
canonicalEqnTest.Speculate.Reason
canonicalizationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
canonicalizationWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
canonicalizeTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
canonicalizeCEqnTest.Speculate.CondReason
canonicalizeCEqnWithTest.Speculate.CondReason
canonicalizeEqnTest.Speculate.Reason
canonicalizeSemiEquationWithTest.Speculate.SemiReason
canonicalizeShyWithTest.Speculate.SemiReason
canonicalizeWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
canonicalRuleTest.Speculate.Reason
canonicalVariationsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
canReduceToTest.Speculate.Reason
castTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
catPairsTest.Speculate.Utils
cclassesTest.Speculate.CondReason
cdeleteTest.Speculate.CondReason
cdiscardTest.Speculate.CondReason
cequationsTest.Speculate.CondReason
cequivalentTest.Speculate.CondReason
cfilterTest.Speculate.CondReason
cfinalizeTest.Speculate.CondReason
chainTest.Speculate.Utils
CharTest.Speculate.Utils
charTest.Speculate
checkTest.Speculate
checkForTest.Speculate
checkModeTest.Speculate.Args
checkResultTest.Speculate
checkResultForTest.Speculate
chrTest.Speculate.Utils
Chy 
1 (Type/Class)Test.Speculate.CondReason
2 (Data Constructor)Test.Speculate.CondReason
cimplicationsTest.Speculate.CondReason
cinsertTest.Speculate.CondReason
cIsInstanceOfTest.Speculate.CondReason
clampTest.Speculate.Utils
classesFromSchemasTest.Speculate.Engine
classesFromSchemasAndVariablesTest.Speculate.Engine
classifyTest.Speculate
classifyByTest.Speculate
classifyOnTest.Speculate
classStatsTest.Speculate
classStatsTTest.Speculate
ClosePunctuationTest.Speculate.Utils
closureLimitTest.Speculate.Reason
cnormalizeTest.Speculate.CondReason
collapseTest.Speculate.Reason
collectByTest.Speculate.Utils
collectOnTest.Speculate.Utils
collectSndByFstTest.Speculate.Utils
collectWithTest.Speculate.Utils
commutativeTest.Speculate
compareTest.Speculate.Utils
compareComplexityTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
compareComplexityThenIndexTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
compareETest.Speculate.Reason
compareIndexTest.Speculate.Utils
compareLexicographicallyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
compareLexicographicallyByTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
compareQuicklyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
compareTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
comparingTest.Speculate.Utils
comparisonTest.Speculate
CompleteTest.Speculate.Args
complete 
1 (Function)Test.Speculate.Args
2 (Function)Test.Speculate.Reason
CompleteDirTest.Speculate.Args
CompleteFileTest.Speculate.Args
CompleteValueTest.Speculate.Args
composeTest.Speculate.Reason
computeInstancesTest.Speculate.Args
computeMaxCondSizeTest.Speculate.Args
computeMaxSemiSizeTest.Speculate.Args
concatMapTTest.Speculate
concatTTest.Speculate
condEqualTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
condEqualMTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
conditionalEquivalencesTest.Speculate.Engine
conditionalTheoryFromThyAndRepsTest.Speculate.Engine
conditionStatsTest.Speculate
conditionStatsTTest.Speculate
ConnectorPunctuationTest.Speculate.Utils
cons0Test.Speculate
cons1Test.Speculate
cons10Test.Speculate
cons11Test.Speculate
cons12Test.Speculate
cons2Test.Speculate
cons3Test.Speculate
cons4Test.Speculate
cons5Test.Speculate
cons6Test.Speculate
cons7Test.Speculate
cons8Test.Speculate
cons9Test.Speculate
considerTest.Speculate.Engine
constantTest.Speculate.Args, Test.Speculate
constantsTest.Speculate.Args, Test.Speculate
constsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
ControlTest.Speculate.Utils
countTest.Speculate.Utils
counterExampleTest.Speculate
counterExamplesTest.Speculate
countListTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
countsTest.Speculate.Utils, Test.Speculate
countsByTest.Speculate.Utils, Test.Speculate
countsOnTest.Speculate.Utils, Test.Speculate
creductions1Test.Speculate.CondReason
criticalPairsTest.Speculate.Reason
CurrencySymbolTest.Speculate.Utils
curryTest.Speculate.Utils
curry3Test.Speculate.Utils
curry4Test.Speculate.Utils