speculate-0.4.18: discovery of properties about Haskell functions

Index

!Test.Speculate.Utils
$$Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
$$<Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
$=Test.Speculate
&&&Test.Speculate
&&&&Test.Speculate
&&&&&Test.Speculate
***Test.Speculate.Utils
+++Test.Speculate.Utils
+-Test.Speculate.Utils
+|Test.Speculate
-:Test.Speculate
-:>Test.Speculate
->:Test.Speculate
->::Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
->:>Test.Speculate
->>:Test.Speculate
->>:>Test.Speculate
->>>:Test.Speculate
->>>:>Test.Speculate
->>>>:Test.Speculate
->>>>:>Test.Speculate
->>>>>:Test.Speculate
->>>>>:>Test.Speculate
->>>>>>:Test.Speculate
->>>>>>:>Test.Speculate
->>>>>>>:Test.Speculate
->>>>>>>:>Test.Speculate
->>>>>>>>:Test.Speculate
->>>>>>>>:>Test.Speculate
->>>>>>>>>:Test.Speculate
->>>>>>>>>:>Test.Speculate
->>>>>>>>>>:Test.Speculate
->>>>>>>>>>:>Test.Speculate
->>>>>>>>>>>:Test.Speculate
->>>>>>>>>>>:>Test.Speculate
->>>>>>>>>>>>:Test.Speculate
..:Test.Speculate.Utils
.:Test.Speculate.Utils
//Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
//-Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
:$Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
:~:Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
:~~:Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
<Test.Speculate.Utils
<=Test.Speculate.Utils
=$Test.Speculate
===Test.Speculate
====Test.Speculate
==>Test.Speculate
=|Test.Speculate
>Test.Speculate.Utils
>$$Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
>$$<Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
>-Test.Speculate
><Test.Speculate
>=Test.Speculate.Utils
>|Test.Speculate.Reason.Order
ATest.Speculate
aboutTest.Speculate.Args
aboveTest.Speculate.Utils
accumTest.Speculate.Utils
addWeightTest.Speculate
alignLeftTest.Speculate.Utils
alignRightTest.Speculate.Utils
allAboutTest.Speculate.Args
allLaterTest.Speculate.Utils
allUniqueTest.Speculate.Utils
Alpha 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
AlphaNum 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
AlphaNums 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Alphas 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
antisymmetricTest.Speculate
appendTest.Speculate.Reason
areAllTest.Speculate.Utils
areAnyTest.Speculate.Utils
Arg 
1 (Type/Class)Test.Speculate.Args
2 (Data Constructor)Test.Speculate.Args
argRequireTest.Speculate.Args
Args 
1 (Type/Class)Test.Speculate.Args, Test.Speculate
2 (Data Constructor)Test.Speculate.Args, Test.Speculate
argsTest.Speculate.Args, Test.Speculate
argTypeTest.Speculate.Args
argumentTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
argValueTest.Speculate.Args
arityTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
associativeTest.Speculate
asymmetricTest.Speculate
atomsTest.Speculate.Args
autoConstantsTest.Speculate.Args, Test.Speculate
BTest.Speculate
backgroundTest.Speculate.Args, Test.Speculate
backgroundConstantsTest.Speculate.Args
Bag 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
bagConsTest.Speculate
bagsOfTest.Speculate
besideTest.Speculate.Utils
BindsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
boolTest.Speculate
boolTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
bothTest.Speculate.Utils
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
classifyBy 
1 (Function)Test.Speculate
2 (Function)Test.Speculate.Utils
classifyOn 
1 (Function)Test.Speculate
2 (Function)Test.Speculate.Utils
classifySndByFstTest.Speculate.Utils
classifyWithTest.Speculate.Utils
classStatsTest.Speculate
classStatsTTest.Speculate
ClosePunctuationTest.Speculate.Utils
closureLimitTest.Speculate.Reason
cnormalizeTest.Speculate.CondReason
collapseTest.Speculate.Reason
commutationsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
commutativeTest.Speculate
commutativeOperatorsTest.Speculate.Reason
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
constificationsTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
constifyTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
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
DTest.Speculate
DashPunctuationTest.Speculate.Utils
DecimalNumberTest.Speculate.Utils
deduceTest.Speculate.Reason
defaultKeepTest.Speculate.Reason
delayTest.Speculate
deleteTest.Speculate.Reason
deleteTTest.Speculate
depthTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveExpressTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveExpressCascadingTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveExpressIfNeededTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveListableTest.Speculate
deriveListableCascadingTest.Speculate
deriveNameTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveNameCascadingTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
deriveNameIfNeededTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
Digit 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Digits 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
digitToIntTest.Speculate.Utils
discardTest.Speculate.Utils
discardByOthersTest.Speculate.Utils
discardEarlierTest.Speculate.Utils
discardLaterTest.Speculate.Utils
discardOthersTest.Speculate.Utils
discardRedundantEquationsTest.Speculate.Reason
discardTSTest.Speculate.Utils
distinctFromSchemasTest.Speculate.Engine
distributiveTest.Speculate
doubleTest.Speculate
doubleCheckTest.Speculate.Reason
Down 
1 (Type/Class)Test.Speculate.Utils
2 (Data Constructor)Test.Speculate.Utils
dwoByTest.Speculate.Reason.Order, Test.Speculate.Reason
ETest.Speculate
eithTest.Speculate
elementTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
emptyChyTest.Speculate.CondReason
emptyShyTest.Speculate.SemiReason
emptyThyTest.Speculate.Reason
EnclosingMarkTest.Speculate.Utils
encompassesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
EQTest.Speculate.Utils
eqErrorsTest.Speculate.Sanity
eqOrdErrorsTest.Speculate.Sanity
eqTTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
equalTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
EquationTest.Speculate.SemiReason
equationsTest.Speculate.Reason
equivalenceTest.Speculate
equivalencesBetweenTest.Speculate.Engine
equivalentTest.Speculate.Reason
equivalentInstanceTest.Speculate.Reason
etypTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
evalTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
evalTimeoutTest.Speculate.Args, Test.Speculate
evaluateTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
evlTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
excludeTest.Speculate.Args, Test.Speculate
existsTest.Speculate
expandArgsAtTest.Speculate.Args
expansionsTest.Speculate.Engine
expansionsOfTypeTest.Speculate.Engine
expansionsWithTest.Speculate.Engine
ExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
exprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
ExpressTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
extraTest.Speculate.Args, Test.Speculate
FTest.Speculate
failsTest.Speculate
fastCanonicalVariationsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
fastMostGeneralVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
fastMostSpecificVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
fillTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
filterTTest.Speculate
filterTSTest.Speculate.Utils
finalCondEquationsTest.Speculate.CondReason
finalEquationsTest.Speculate.Reason
finalizeTest.Speculate.Reason
FinalQuoteTest.Speculate.Utils
finalResultTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
finalSemiEquationsTest.Speculate.SemiReason
findValidAppTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
firstTest.Speculate.Utils
firstsTest.Speculate.Utils
Flag 
1 (Type/Class)Test.Speculate.Args
2 (Data Constructor)Test.Speculate.Args
flagArgTest.Speculate.Args
flagBoolTest.Speculate.Args
FlagHelpTest.Speculate.Args
flagHelpTest.Speculate.Args
flagHelpFormatTest.Speculate.Args
flagHelpSimpleTest.Speculate.Args
FlagInfoTest.Speculate.Args
flagInfoTest.Speculate.Args
flagNamesTest.Speculate.Args
FlagNoneTest.Speculate.Args
flagNoneTest.Speculate.Args
flagNumericVersionTest.Speculate.Args
FlagOptTest.Speculate.Args
flagOptTest.Speculate.Args
FlagOptRareTest.Speculate.Args
FlagReqTest.Speculate.Args
flagReqTest.Speculate.Args
flagsVerbosityTest.Speculate.Args
flagTypeTest.Speculate.Args
flagValueTest.Speculate.Args
flagVersionTest.Speculate.Args
floatTest.Speculate
foldTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
foldAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
foldPairTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
foldTrioTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
forceTest.Speculate.Args, Test.Speculate
foregroundTest.Speculate.Args, Test.Speculate
foregroundConstantsTest.Speculate.Args
FormatTest.Speculate.Utils
fromFlagOptTest.Speculate.Args
fromGroupTest.Speculate.Args
fromStringTest.Speculate.Utils
fromTimeoutTest.Speculate.Utils
fstTest.Speculate.Utils
fst3Test.Speculate.Utils
fst4Test.Speculate.Utils
fth4Test.Speculate.Utils
funnyTest.Speculate.Reason.Order
funResultTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
funTyConTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
gcastTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
gcast1Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
gcast2Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
GeneralCategoryTest.Speculate.Utils
generalCategoryTest.Speculate.Utils
getArgsTest.Speculate.Args, Test.Speculate
getDownTest.Speculate.Utils
greaterTest.Speculate.SemiReason
groundBindsTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
groundJoinableTest.Speculate.Reason
groundsTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
Group 
1 (Type/Class)Test.Speculate.Args
2 (Data Constructor)Test.Speculate.Args
groupHiddenTest.Speculate.Args
groupNamedTest.Speculate.Args
groupOnTest.Speculate.Utils
groupUnnamedTest.Speculate.Args
GTTest.Speculate.Utils
gtExceptTest.Speculate.Reason.Order
halveTest.Speculate.Utils
hasCanonInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
hasHoleTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
hasInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
hasVarTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
heightTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
HelpTest.Speculate.Args
HelpFormatTest.Speculate.Args
HelpFormatAllTest.Speculate.Args
HelpFormatBashTest.Speculate.Args
HelpFormatDefaultTest.Speculate.Args
HelpFormatOneTest.Speculate.Args
HelpFormatZshTest.Speculate.Args
helpTextTest.Speculate.Args
heqTTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
holdsTest.Speculate
holeTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
holeAsTypeOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
holeOfTyTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
holesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
HReflTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
idempotentTest.Speculate
identityTest.Speculate
indentTest.Speculate.Utils
inequalTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
initializeTest.Speculate.Reason
InitialQuoteTest.Speculate.Utils
insertTest.Speculate.Reason
instanceErrorsTest.Speculate.Sanity
InstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
instancesTest.Speculate.Args, Test.Speculate
intTest.Speculate
Int1 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int1Test.Speculate
Int2 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int2Test.Speculate
Int3 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int3Test.Speculate
Int4 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int4Test.Speculate
integerTest.Speculate
intToDigitTest.Speculate.Utils
intTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
invalidTest.Speculate.Reason
irreflexiveTest.Speculate
isAlphaTest.Speculate.Utils
isAlphaNumTest.Speculate.Utils
isAntisymmetricTest.Speculate
isAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isAsciiTest.Speculate.Utils
isAsciiLowerTest.Speculate.Utils
isAsciiUpperTest.Speculate.Utils
isAssignmentTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isAssociativeTest.Speculate
isAsymmetricTest.Speculate
isCanonicalTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCanonicalWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCanonInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCommutativeTest.Speculate
isComparisonTest.Speculate
isCompleteTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isConstTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isConstantNamedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isControlTest.Speculate.Utils
isDigitTest.Speculate.Utils
isDistributiveOverTest.Speculate
isEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
isEquivalenceTest.Speculate
isFalseTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
isFlippedTest.Speculate
isFunTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isFunTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isGroundTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isHexDigitTest.Speculate.Utils
isHoleTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isIdempotentTest.Speculate
isIdentityTest.Speculate
isIllTypedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isIrreflexiveTest.Speculate
isLatin1Test.Speculate.Utils
isLeftDistributiveOverTest.Speculate
isLetterTest.Speculate.Utils
isListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isListableTTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isLowerTest.Speculate.Utils
isLowerCaseTest.Speculate.Utils
isMarkTest.Speculate.Utils
isNeverIdentityTest.Speculate
isNormalTest.Speculate.Reason
isNumberTest.Speculate.Utils
isOctDigitTest.Speculate.Utils
isOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isOrdTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isPartialOrderTest.Speculate
isPrintTest.Speculate.Utils
isPunctuationTest.Speculate.Utils
isReflexiveTest.Speculate
isRightDistributiveOverTest.Speculate
isRootNormalTest.Speculate.Reason
isRootNormalETest.Speculate.Reason
isSeparatorTest.Speculate.Utils
isSpaceTest.Speculate.Utils
isStrictPartialOrderTest.Speculate
isStrictTotalOrderTest.Speculate
IsStringTest.Speculate.Utils
isSubexprOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isSymbolTest.Speculate.Utils
isSymmetricTest.Speculate
isTotalOrderTest.Speculate
isTransitiveTest.Speculate
isTrueTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
isUpperTest.Speculate.Utils
isUpperCaseTest.Speculate.Utils
isValueTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isVarTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isWellTypedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
iterateUntilTest.Speculate.Utils
iterateUntilLimitTest.Speculate.Utils
joinArgsTest.Speculate.Args
kboByTest.Speculate.Reason.Order
keepETest.Speculate.Reason
keepExprTest.Speculate.Args
keepMaxOfTest.Speculate.Reason
keepUpToLengthTest.Speculate.Reason
lessTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
lesserTest.Speculate.SemiReason
lessOrEqualTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
Letter 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
LetterNumberTest.Speculate.Utils
Letters 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
lexLitCharTest.Speculate.Utils
linesTest.Speculate.Utils
LineSeparatorTest.Speculate.Utils
listTest.Speculate
ListableTest.Speculate
listEquivalentTest.Speculate.CondReason
listFloatingTest.Speculate
listFractionalTest.Speculate
listImpliedTest.Speculate.CondReason
listImpliesTest.Speculate.CondReason
listIntegralTest.Speculate
listsOfTest.Speculate
listsOfLengthTest.Speculate
listVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
listVarsAsTypeOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
listVarsWithTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
lookupComparisonTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
lookupNameTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
lookupNamesTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
lookupTiersTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
lookupTiersTTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
Lower 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
LowercaseLetterTest.Speculate.Utils
Lowers 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
LTTest.Speculate.Utils
Map 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
mapConsTest.Speculate
mapConstsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapSemiEquationsTest.Speculate.SemiReason
mapSubexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapTTest.Speculate
mapTMaybeTest.Speculate.Utils
mapValuesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mapVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
matchTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
matchWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
MathSymbolTest.Speculate.Utils
maxTest.Speculate.Utils
maxCondSizeTest.Speculate.Args, Test.Speculate
maxConstantsTest.Speculate.Args, Test.Speculate
maxDepthTest.Speculate.Args, Test.Speculate
maxSemiSizeTest.Speculate.Args, Test.Speculate
maxSizeTest.Speculate.Args, Test.Speculate
maxTestsTest.Speculate.Args, Test.Speculate
maxVarsTest.Speculate.Args, Test.Speculate
maybTest.Speculate
maybe2Test.Speculate.Utils
maybeHoleOfTyTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
maybesToMaybeTest.Speculate.Utils
medianateTest.Speculate.Utils
memoryTest.Speculate.Utils
memory2Test.Speculate.Utils
memory2ForTest.Speculate.Utils
memoryForTest.Speculate.Utils
minTest.Speculate.Utils
minTestsTest.Speculate.Args, Test.Speculate
mkCompareTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonLETest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonLTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkComparisonTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mkConditionalEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
mkEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkEquationTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkFunTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkNameTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
mkNameWithTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
mkOrdLessEqualTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
Mode 
1 (Type/Class)Test.Speculate.Args
2 (Data Constructor)Test.Speculate.Args
modeTest.Speculate.Args
modeArgsTest.Speculate.Args
modeCheckTest.Speculate.Args
modeEmptyTest.Speculate.Args
modeExpandAtTest.Speculate.Args
modeFlagsTest.Speculate.Args
modeGroupFlagsTest.Speculate.Args
modeGroupModesTest.Speculate.Args
modeHelpTest.Speculate.Args
modeHelpSuffixTest.Speculate.Args
modeModesTest.Speculate.Args
modeNamesTest.Speculate.Args
modeReformTest.Speculate.Args
modesTest.Speculate.Args
modeValueTest.Speculate.Args
ModifierLetterTest.Speculate.Utils
ModifierSymbolTest.Speculate.Utils
mostGeneralCanonicalVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mostSpecificCanonicalVariationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
mtypTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
Name 
1 (Type/Class)Test.Speculate.Args
2 (Type/Class)Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
nameTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
namesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
Nat 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
natTest.Speculate
Nat1 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat2 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat3 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat4 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat5 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat6 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Nat7 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Natural 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
naturalTest.Speculate
neverIdentityTest.Speculate
NoDup 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
noDupListConsTest.Speculate
noDupListsOfTest.Speculate
noneTest.Speculate.Utils
NonSpacingMarkTest.Speculate.Utils
normalizeTest.Speculate.Reason
normalizedCriticalPairsTest.Speculate.Reason
normalizeETest.Speculate.Reason
normalizeTTest.Speculate
NotAssignedTest.Speculate.Utils
nubConstsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubHolesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubMergeTest.Speculate.Utils
nubMergeByTest.Speculate.Utils
nubMergeMapTest.Speculate.Utils
nubMergeOnTest.Speculate.Utils
nubMergesTest.Speculate.Utils
nubMergesByTest.Speculate.Utils
nubSortTest.Speculate.Utils
nubSortByTest.Speculate.Utils
nubSubexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubValuesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
nubVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
ofWeightTest.Speculate
okEqTest.Speculate
okEqOrdTest.Speculate
okNumTest.Speculate
okNumNonNegativeTest.Speculate
okOrdTest.Speculate
okThyTest.Speculate.Reason
onlyTypesTest.Speculate.Args, Test.Speculate
OpenPunctuationTest.Speculate.Utils
OrdTest.Speculate.Utils
ordTest.Speculate.Utils
orderedTest.Speculate.Utils
orderedByTest.Speculate.Utils
orderedOnTest.Speculate.Utils
OrderingTest.Speculate.Utils
orderingTest.Speculate
orderingTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
ordErrorsTest.Speculate.Sanity
ordIntersectTest.Speculate.Utils
ordIntersectByTest.Speculate.Utils
orientTest.Speculate.Reason
OtherLetterTest.Speculate.Utils
OtherNumberTest.Speculate.Utils
OtherPunctuationTest.Speculate.Utils
OtherSymbolTest.Speculate.Utils
pairsThatTest.Speculate.Utils
ParagraphSeparatorTest.Speculate.Utils
parseBoolTest.Speculate.Args
partialOrderTest.Speculate
partitionByMarkersTest.Speculate.Utils
percentTest.Speculate.Utils
preludeInstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
preludeNameInstancesTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
prepareArgsTest.Speculate.Args
prettyChyTest.Speculate.Pretty
prettyCondEquationsTest.Speculate.Pretty
prettyEquationsTest.Speculate.Pretty
prettySemiEquationsTest.Speculate.Pretty
prettyShyTest.Speculate.Pretty
prettyThyTest.Speculate.Pretty
printThyTest.Speculate.Reason
PrivateUseTest.Speculate.Utils
processTest.Speculate.Args
processArgsTest.Speculate.Args
processValueTest.Speculate.Args
processValueIOTest.Speculate.Args
product3WithTest.Speculate
productMaybeWithTest.Speculate
productsTest.Speculate
productsListTest.Speculate.Utils
productWithTest.Speculate
Proxy 
1 (Type/Class)Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
2 (Data Constructor)Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
psortByTest.Speculate.Engine
putLinesTest.Speculate.Utils
quietDotTest.Speculate.Args, Test.Speculate
rationalTest.Speculate
readLitCharTest.Speculate.Utils
reallyShowConditionsTest.Speculate.Args
reduceRootWithTest.Speculate.CondReason
reductions1Test.Speculate.Reason
reductions1WithTest.Speculate.CondReason
ReflTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reflexiveTest.Speculate
reifyEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyEqOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyInstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyInstances1Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
reifyListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyNameTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
reifyOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
RemapTest.Speculate.Args
remapTest.Speculate.Args
remap2Test.Speculate.Args
remapUpdateTest.Speculate.Args
renameVarsByTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
reportTest.Speculate.Report, Test.Speculate
reportCountsByTest.Speculate.Utils
representativesFromAtomsTest.Speculate.Engine
representativesFromAtomsKeepingTest.Speculate.Engine
resetTest.Speculate
resultsTest.Speculate
resultTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
rnfTyConTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
rnfTypeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
rulesTest.Speculate.Reason
scompareETest.Speculate.SemiReason
secondTest.Speculate.Utils
semiTheoryFromThyAndRepsTest.Speculate.Engine
sequationsTest.Speculate.SemiReason
seriousTest.Speculate.Reason.Order
Set 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
setConsTest.Speculate
setsOfTest.Speculate
shouldShowConditionalEquationTest.Speculate.Args
shouldShowEquationTest.Speculate.Args
showArgsTest.Speculate.Args, Test.Speculate
showClassesForTest.Speculate.Args, Test.Speculate
showConditionsTest.Speculate.Args, Test.Speculate
showConstantTest.Speculate.Args, Test.Speculate
showConstantLawsTest.Speculate.Args, Test.Speculate
showConstantsTest.Speculate.Args, Test.Speculate
showCountsTest.Speculate.Args, Test.Speculate
showDotTest.Speculate.Args, Test.Speculate
showEquationsTest.Speculate.Args, Test.Speculate
showExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showHelpTest.Speculate.Args, Test.Speculate
showLitCharTest.Speculate.Utils
showOpExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showPrecExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showRatioTest.Speculate.Utils
showSemiequationsTest.Speculate.Args, Test.Speculate
showsTypeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
showTheoryTest.Speculate.Args, Test.Speculate
showThyTest.Speculate.Reason
Shy 
1 (Type/Class)Test.Speculate.SemiReason
2 (Data Constructor)Test.Speculate.SemiReason
sidesTest.Speculate.SemiReason
simplerThanTest.Speculate.SemiReason
simplifyTest.Speculate.Reason
sizeTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
sndTest.Speculate.Utils
snd3Test.Speculate.Utils
snd4Test.Speculate.Utils
SoloTest.Speculate.Utils
sortOnTest.Speculate.Utils
Space 
1 (Data Constructor)Test.Speculate.Utils
2 (Type/Class)Test.Speculate
3 (Data Constructor)Test.Speculate
Spaces 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
spacesTest.Speculate.Utils
SpacingCombiningMarkTest.Speculate.Utils
speculateTest.Speculate
splitArgsTest.Speculate.Args
splitAtCommasTest.Speculate.Utils
splitTyConAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
stheorizeTest.Speculate.SemiReason
sthyTest.Speculate.SemiReason
strictlyOrderedTest.Speculate.Utils
strictlyOrderedOnTest.Speculate.Utils
strictPartialOrderTest.Speculate
strictTotalOrderTest.Speculate
StringTest.Speculate.Utils
stringTest.Speculate
subConsequenceTest.Speculate.Engine
subexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
suchThatTest.Speculate
SurrogateTest.Speculate.Utils
swapTest.Speculate.Utils
symmetricTest.Speculate
symmetric2Test.Speculate
tableTest.Speculate.Utils
takeGreaterHalfTest.Speculate.Utils
TestableTest.Speculate
theorizeTest.Speculate.Reason
theorizeByTest.Speculate.Reason
theoryAndRepresentativesFromAtomsTest.Speculate.Engine
theoryAndRepresentativesFromAtomsKeepingTest.Speculate.Engine
theoryFromAtomsTest.Speculate.Engine
theoryFromAtomsKeepingTest.Speculate.Engine
thnTest.Speculate.Utils
Thy 
1 (Type/Class)Test.Speculate.Reason
2 (Data Constructor)Test.Speculate.Reason
tiersTest.Speculate
tiersFloatingTest.Speculate
tiersFractionalTest.Speculate
timeoutTest.Speculate.Args
timeoutToErrorTest.Speculate.Utils
timeoutToFalseTest.Speculate.Utils
timeoutToNothingTest.Speculate.Utils
timeoutToTrueTest.Speculate.Utils
TitlecaseLetterTest.Speculate.Utils
toDynamicTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
toGroupTest.Speculate.Args
toLowerTest.Speculate.Utils
totalOrderTest.Speculate
toTiersTest.Speculate
toTitleTest.Speculate.Utils
toUpperTest.Speculate.Utils
transConsequenceTest.Speculate.SemiReason
transitiveTest.Speculate
trd3Test.Speculate.Utils
trd4Test.Speculate.Utils
trLiftedRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
trueRatioTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
tyArityTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
TyConTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
tyConFingerprintTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
tyConModuleTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
tyConNameTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
tyConPackageTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
TypeableTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf1Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf2Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf3Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf4Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf5Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf6Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeOf7Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
TypeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeRepArgsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeRepFingerprintTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typeRepTyConTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
typesTest.Speculate.Args
typesInTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
typesInListTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
UInt1Test.Speculate
uint1Test.Speculate
UInt2Test.Speculate
uint2Test.Speculate
UInt3Test.Speculate
uint3Test.Speculate
UInt4Test.Speculate
uint4Test.Speculate
unAlphaTest.Speculate
unAlphaNumTest.Speculate
unAlphaNumsTest.Speculate
unAlphasTest.Speculate
unComparisonTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
unConditionalEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
uncurryTest.Speculate.Utils
uncurry10Test.Speculate.Utils
uncurry11Test.Speculate.Utils
uncurry12Test.Speculate.Utils
uncurry3Test.Speculate.Utils
uncurry4Test.Speculate.Utils
uncurry5Test.Speculate.Utils
uncurry6Test.Speculate.Utils
uncurry7Test.Speculate.Utils
uncurry8Test.Speculate.Utils
uncurry9Test.Speculate.Utils
undTest.Speculate
undefined1Test.Speculate.Utils
undefined2Test.Speculate.Utils
unDigitTest.Speculate
unDigitsTest.Speculate
unEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
unfoldTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unfoldAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unfoldPairTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unfoldTrioTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unFunTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unificationTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unificationCTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unifyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unInt1Test.Speculate
unInt2Test.Speculate
unInt3Test.Speculate
unInt4Test.Speculate
unLetterTest.Speculate
unLettersTest.Speculate
unlinesTest.Speculate.Utils
unLowerTest.Speculate
unLowersTest.Speculate
unNatTest.Speculate
unNat1Test.Speculate
unNat2Test.Speculate
unNat3Test.Speculate
unNat4Test.Speculate
unNat5Test.Speculate
unNat6Test.Speculate
unNat7Test.Speculate
unNaturalTest.Speculate
unquoteTest.Speculate.Utils
unrepeatedVarsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
unSpaceTest.Speculate
unSpacesTest.Speculate
unThyTest.Speculate.CondReason
unUpperTest.Speculate
unUppersTest.Speculate
unWord1Test.Speculate
unWord2Test.Speculate
unWord3Test.Speculate
unWord4Test.Speculate
unwordsTest.Speculate.Utils
unXTest.Speculate
UpdateTest.Speculate.Args
updateCEquationsByTest.Speculate.CondReason
updateEquationsByTest.Speculate.Reason
updateRulesByTest.Speculate.Reason
updateSemiEquationsByTest.Speculate.SemiReason
updateSEquationsByTest.Speculate.SemiReason
Upper 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
UppercaseLetterTest.Speculate.Utils
Uppers 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
uptoTTest.Speculate.Utils
valTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
validAppsTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
ValueTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
valueTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
valuesTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
varTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
varAsTypeOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
variableNamesFromTemplateTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
varsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
weightTest.Speculate.Reason.Order
weightExceptTest.Speculate.Reason.Order
withMemoryTest.Speculate.Utils
withMemory2Test.Speculate.Utils
witnessTest.Speculate
witnessesTest.Speculate
Word1 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
word1Test.Speculate
Word2 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
word2Test.Speculate
Word3 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
word3Test.Speculate
Word4 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
word4Test.Speculate
wordsTest.Speculate.Utils
X 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
Xs 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
zipWithReverseTest.Speculate.Utils
\/Test.Speculate
\\//Test.Speculate
|=Test.Speculate
|==|Test.Speculate.Reason
|>Test.Speculate.Reason.Order, Test.Speculate.Reason
|>|Test.Speculate.Reason.Order
|||Test.Speculate
||||Test.Speculate