$$ | 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 |
->>>>>>>>>:> | Test.Speculate |
->>>>>>>>>>: | Test.Speculate |
->>>>>>>>>>:> | 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.Reason.Order |
addWeight | Test.Speculate |
antisymmetric | Test.Speculate |
append | Test.Speculate.Reason |
Arg | |
1 (Data Constructor) | Test.Speculate.Args |
2 (Type/Class) | Test.Speculate.Args |
argRequire | Test.Speculate.Args |
Args | |
1 (Type/Class) | Test.Speculate.Args, Test.Speculate |
2 (Data Constructor) | Test.Speculate.Args, Test.Speculate |
args | Test.Speculate.Args, Test.Speculate |
argType | Test.Speculate.Args |
argValue | Test.Speculate.Args |
arity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
assign | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
assigning | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
associative | Test.Speculate |
asymmetric | Test.Speculate |
atomicConstants | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
atoms | Test.Speculate.Args |
background | Test.Speculate.Args, Test.Speculate |
Bag | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
bagCons | Test.Speculate |
bagsOf | Test.Speculate |
Binds | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
bool | Test.Speculate |
boolTy | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
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 |
deduce | Test.Speculate.Reason |
defaultKeep | Test.Speculate.Reason |
defNames | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
delay | Test.Speculate |
delete | Test.Speculate.Reason |
deleteT | Test.Speculate |
depthE | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
deriveListable | Test.Speculate |
deriveListableCascading | Test.Speculate |
difference | Test.Speculate.Reason |
discardRedundantEquations | Test.Speculate.Reason |
distinctFromSchemas | Test.Speculate.Engine |
distributive | Test.Speculate |
double | Test.Speculate |
dwoBy | Test.Speculate.Reason.Order, Test.Speculate.Reason |
eith | Test.Speculate |
emptyChy | Test.Speculate.CondReason |
emptyShy | Test.Speculate.SemiReason |
emptyThy | Test.Speculate.Reason |
eq | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
eqE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
eqErrors | Test.Speculate.Sanity |
eqExprCommuting | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
eqOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
eqOrdErrors | Test.Speculate.Sanity |
eqT | Test.Speculate |
equal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
Equation | Test.Speculate.SemiReason |
equation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
equations | Test.Speculate.Reason |
equivalence | Test.Speculate |
equivalencesBetween | Test.Speculate.Engine |
equivalent | Test.Speculate.Reason |
equivalentInstance | Test.Speculate.Reason |
eqWith | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
etyp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
eval | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
evalTimeout | Test.Speculate.Args, Test.Speculate |
evaluate | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
exclude | Test.Speculate.Args, Test.Speculate |
exists | Test.Speculate |
expandArgsAt | Test.Speculate.Args |
expansions | Test.Speculate.Engine |
Expr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
expressionsOf | Test.Speculate.Misc |
extra | Test.Speculate.Args, Test.Speculate |
fails | Test.Speculate |
false | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
falseE | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
fill | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
fillings | Test.Speculate.Misc |
filterT | Test.Speculate |
finalCondEquations | Test.Speculate.CondReason |
finalEquations | Test.Speculate.Reason |
finalize | Test.Speculate.Reason |
finalSemiEquations | Test.Speculate.SemiReason |
findInfo | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
Flag | |
1 (Data Constructor) | Test.Speculate.Args |
2 (Type/Class) | Test.Speculate.Args |
flagArg | Test.Speculate.Args |
flagBool | Test.Speculate.Args |
FlagHelp | Test.Speculate.Args |
flagHelp | Test.Speculate.Args |
flagHelpFormat | Test.Speculate.Args |
flagHelpSimple | Test.Speculate.Args |
FlagInfo | Test.Speculate.Args |
flagInfo | Test.Speculate.Args |
flagNames | Test.Speculate.Args |
FlagNone | Test.Speculate.Args |
flagNone | Test.Speculate.Args |
flagNumericVersion | Test.Speculate.Args |
FlagOpt | Test.Speculate.Args |
flagOpt | Test.Speculate.Args |
FlagOptRare | Test.Speculate.Args |
FlagReq | Test.Speculate.Args |
flagReq | Test.Speculate.Args |
flagsVerbosity | Test.Speculate.Args |
flagType | Test.Speculate.Args |
flagValue | Test.Speculate.Args |
flagVersion | Test.Speculate.Args |
float | Test.Speculate |
force | Test.Speculate.Args, Test.Speculate |
foreground | Test.Speculate.Args, Test.Speculate |
fromFlagOpt | Test.Speculate.Args |
fromGroup | Test.Speculate.Args |
functions1 | Test.Speculate.Misc |
functions2 | Test.Speculate.Misc |
functions3 | Test.Speculate.Misc |
functions4 | Test.Speculate.Misc |
funResultTy | Test.Speculate |
gcast | Test.Speculate |
gcast1 | Test.Speculate |
gcast2 | Test.Speculate |
getArgs | Test.Speculate.Args, Test.Speculate |
greater | Test.Speculate.SemiReason |
groundAndBinds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
groundBinds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
grounds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
Group | |
1 (Data Constructor) | Test.Speculate.Args |
2 (Type/Class) | Test.Speculate.Args |
groupHidden | Test.Speculate.Args |
groupNamed | Test.Speculate.Args |
groupUnnamed | Test.Speculate.Args |
gtExcept | Test.Speculate.Reason.Order |
hasCanonInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
hasInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
hasVar | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
Help | Test.Speculate.Args |
HelpFormat | Test.Speculate.Args |
HelpFormatAll | Test.Speculate.Args |
HelpFormatBash | Test.Speculate.Args |
HelpFormatDefault | Test.Speculate.Args |
HelpFormatOne | Test.Speculate.Args |
HelpFormatZsh | Test.Speculate.Args |
helpText | Test.Speculate.Args |
holds | Test.Speculate |
hole | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
holeOfTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
holes | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
idempotent | Test.Speculate |
identity | Test.Speculate |
implication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
initialize | Test.Speculate.Reason |
ins | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
insert | Test.Speculate.Reason |
Instance | |
1 (Type/Class) | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
2 (Data Constructor) | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
instanceErrors | Test.Speculate.Sanity |
Instances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
instances | Test.Speculate.Args, Test.Speculate |
instanceType | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
int | Test.Speculate |
Int1 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
int1 | Test.Speculate |
Int2 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
int2 | Test.Speculate |
Int3 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
int3 | Test.Speculate |
Int4 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
int4 | Test.Speculate |
integer | Test.Speculate |
irreflexive | Test.Speculate |
isAssignment | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
isCanonInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
isConstantNamed | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
isEq | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqOrdE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
isInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
isListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isNormal | Test.Speculate.Reason |
isOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isOrdE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isSub | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
joinArgs | Test.Speculate.Args |
kboBy | Test.Speculate.Reason.Order |
keepE | Test.Speculate.Reason |
keepExpr | Test.Speculate.Args |
keepMaxOf | Test.Speculate.Reason |
keepUpToLength | Test.Speculate.Reason |
leE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
lengthE | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
less | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
lesser | Test.Speculate.SemiReason |
lessOrEqual | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
lexicompare | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
lexicompareBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
list | Test.Speculate |
Listable | Test.Speculate |
listable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
listableWith | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
listEquivalent | Test.Speculate.CondReason |
listImplied | Test.Speculate.CondReason |
listImplies | Test.Speculate.CondReason |
listIntegral | Test.Speculate |
listsOf | Test.Speculate |
listsOfLength | Test.Speculate |
ltE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
mapSemiEquations | Test.Speculate.SemiReason |
mapT | Test.Speculate |
match | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
match2 | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
matchWith | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
maxCondSize | Test.Speculate.Args, Test.Speculate |
maxConstants | Test.Speculate.Args, Test.Speculate |
maxDepth | Test.Speculate.Args, Test.Speculate |
maxSemiSize | Test.Speculate.Args, Test.Speculate |
maxSize | Test.Speculate.Args, Test.Speculate |
maxTests | Test.Speculate.Args, Test.Speculate |
maxVars | Test.Speculate.Args, Test.Speculate |
mayb | Test.Speculate |
minTests | Test.Speculate.Args, Test.Speculate |
mkAppTy | Test.Speculate |
mkEqnTy | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
mkFunTy | Test.Speculate |
mkTyCon3 | Test.Speculate |
mkTyConApp | Test.Speculate |
Mode | |
1 (Data Constructor) | Test.Speculate.Args |
2 (Type/Class) | Test.Speculate.Args |
mode | Test.Speculate.Args |
modeArgs | Test.Speculate.Args |
modeCheck | Test.Speculate.Args |
modeEmpty | Test.Speculate.Args |
modeExpandAt | Test.Speculate.Args |
modeFlags | Test.Speculate.Args |
modeGroupFlags | Test.Speculate.Args |
modeGroupModes | Test.Speculate.Args |
modeHelp | Test.Speculate.Args |
modeHelpSuffix | Test.Speculate.Args |
modeModes | Test.Speculate.Args |
modeNames | Test.Speculate.Args |
modeReform | Test.Speculate.Args |
modes | Test.Speculate.Args |
modeValue | Test.Speculate.Args |
mostGeneral | Test.Speculate.Engine |
mostSpecific | Test.Speculate.Engine |
Name | Test.Speculate.Args |
name | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
names | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
Nat | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
nat | Test.Speculate |
Nat1 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat2 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat3 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat4 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat5 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat6 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat7 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
neverIdentity | Test.Speculate |
NoDup | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
noDupListCons | Test.Speculate |
noDupListsOf | Test.Speculate |
normalize | Test.Speculate.Reason |
normalizedCriticalPairs | Test.Speculate.Reason |
normalizeE | Test.Speculate.Reason |
normalizeT | Test.Speculate |
ofWeight | Test.Speculate |
okEq | Test.Speculate |
okEqOrd | Test.Speculate |
okOrd | Test.Speculate |
okThy | Test.Speculate.Reason |
onlyTypes | Test.Speculate.Args, Test.Speculate |
ord | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
ordErrors | Test.Speculate.Sanity |
ordWith | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
orient | Test.Speculate.Reason |
parseBool | Test.Speculate.Args |
partialOrder | Test.Speculate |
phonyEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
preludeInstances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
prepareArgs | Test.Speculate.Args |
prettyChy | Test.Speculate.Pretty |
prettyCondEquations | Test.Speculate.Pretty |
prettyEquations | Test.Speculate.Pretty |
prettySemiEquations | Test.Speculate.Pretty |
prettyShy | Test.Speculate.Pretty |
prettyThy | Test.Speculate.Pretty |
printThy | Test.Speculate.Reason |
process | Test.Speculate.Args |
processArgs | Test.Speculate.Args |
processValue | Test.Speculate.Args |
processValueIO | Test.Speculate.Args |
product3With | Test.Speculate |
productMaybeWith | Test.Speculate |
products | Test.Speculate |
productWith | Test.Speculate |
Proxy | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
psortBy | Test.Speculate.Engine |
quietDot | Test.Speculate.Args, Test.Speculate |
reallyShowConditions | Test.Speculate.Args |
reduceRootWith | Test.Speculate.CondReason |
reductions1 | Test.Speculate.Reason |
reductions1With | Test.Speculate.CondReason |
Refl | Test.Speculate |
reflexive | Test.Speculate |
Remap | Test.Speculate.Args |
remap | Test.Speculate.Args |
remap2 | Test.Speculate.Args |
remapUpdate | Test.Speculate.Args |
renameBy | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
report | Test.Speculate.Report, Test.Speculate |
reset | Test.Speculate |
results | Test.Speculate |
rnfTyCon | Test.Speculate |
rnfTypeRep | Test.Speculate |
rules | Test.Speculate.Reason |
scompareE | Test.Speculate.SemiReason |
semiTheoryFromThyAndReps | Test.Speculate.Engine |
sequations | Test.Speculate.SemiReason |
Set | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
setCons | Test.Speculate |
setsOf | Test.Speculate |
shouldShowConditionalEquation | Test.Speculate.Args |
shouldShowEquation | Test.Speculate.Args |
showArgs | Test.Speculate.Args, Test.Speculate |
showClassesFor | Test.Speculate.Args, Test.Speculate |
showConditions | Test.Speculate.Args, Test.Speculate |
showConstant | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
showConstantLaws | Test.Speculate.Args, Test.Speculate |
showConstants | Test.Speculate.Args, Test.Speculate |
showCounts | Test.Speculate.Args, Test.Speculate |
showDot | Test.Speculate.Args, Test.Speculate |
showEquations | Test.Speculate.Args, Test.Speculate |
showExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
showHelp | Test.Speculate.Args, Test.Speculate |
showOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
showPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
showSemiequations | Test.Speculate.Args, Test.Speculate |
showsOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
showsPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
showsTypeRep | Test.Speculate |
showTheory | Test.Speculate.Args, Test.Speculate |
showThy | Test.Speculate.Reason |
Shy | |
1 (Type/Class) | Test.Speculate.SemiReason |
2 (Data Constructor) | Test.Speculate.SemiReason |
sides | Test.Speculate.SemiReason |
simplerThan | Test.Speculate.SemiReason |
simplify | Test.Speculate.Reason |
speculate | Test.Speculate |
splitArgs | Test.Speculate.Args |
splitTyConApp | Test.Speculate |
stheorize | Test.Speculate.SemiReason |
sthy | Test.Speculate.SemiReason |
strictPartialOrder | Test.Speculate |
strictTotalOrder | Test.Speculate |
string | Test.Speculate |
sub | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
subConsequence | Test.Speculate.Engine |
subexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
subexprsV | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
suchThat | Test.Speculate |
symmetric | Test.Speculate |
symmetric2 | Test.Speculate |
Testable | Test.Speculate |
theorize | Test.Speculate.Reason |
theorizeBy | Test.Speculate.Reason |
theoryAndRepresentativesFromAtoms | Test.Speculate.Engine |
theoryFromAtoms | Test.Speculate.Engine |
Thy | |
1 (Type/Class) | Test.Speculate.Reason |
2 (Data Constructor) | Test.Speculate.Reason |
tiers | Test.Speculate |
tiersE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
tiersFractional | Test.Speculate |
timeout | Test.Speculate.Args |
toGroup | Test.Speculate.Args |
totalOrder | Test.Speculate |
toTiers | Test.Speculate |
transConsequence | Test.Speculate.SemiReason |
transitive | Test.Speculate |
true | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
trueBinds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
trueRatio | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
TyCon | Test.Speculate |
tyConFingerprint | Test.Speculate |
tyConModule | Test.Speculate |
tyConName | Test.Speculate |
tyConPackage | Test.Speculate |
tyConString | Test.Speculate |
typ | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
Typeable | Test.Speculate |
Typeable1 | Test.Speculate |
Typeable2 | Test.Speculate |
Typeable3 | Test.Speculate |
Typeable4 | Test.Speculate |
Typeable5 | Test.Speculate |
Typeable6 | Test.Speculate |
Typeable7 | Test.Speculate |
typeCorrect | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
typeOf | Test.Speculate |
typeOf1 | Test.Speculate |
typeOf2 | Test.Speculate |
typeOf3 | Test.Speculate |
typeOf4 | Test.Speculate |
typeOf5 | Test.Speculate |
typeOf6 | Test.Speculate |
typeOf7 | Test.Speculate |
TypeRep | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
typeRep | Test.Speculate |
typeRepArgs | Test.Speculate |
typeRepFingerprint | Test.Speculate |
typeRepTyCon | Test.Speculate |
types | Test.Speculate.Args |
UInt1 | Test.Speculate |
uint1 | Test.Speculate |
UInt2 | Test.Speculate |
uint2 | Test.Speculate |
UInt3 | Test.Speculate |
uint3 | Test.Speculate |
UInt4 | Test.Speculate |
uint4 | Test.Speculate |
unComparison | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
unConditionalComparison | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
unConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
und | Test.Speculate |
unEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
unfoldApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
unification | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
unify | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
unImplication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
unInt1 | Test.Speculate |
unInt2 | Test.Speculate |
unInt3 | Test.Speculate |
unInt4 | Test.Speculate |
unNat | Test.Speculate |
unNat1 | Test.Speculate |
unNat2 | Test.Speculate |
unNat3 | Test.Speculate |
unNat4 | Test.Speculate |
unNat5 | Test.Speculate |
unNat6 | Test.Speculate |
unNat7 | Test.Speculate |
unrepeatedVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
unThy | Test.Speculate.CondReason |
unWord1 | Test.Speculate |
unWord2 | Test.Speculate |
unWord3 | Test.Speculate |
unWord4 | Test.Speculate |
unX | Test.Speculate |
unXs | Test.Speculate |
Update | Test.Speculate.Args |
updateCEquationsBy | Test.Speculate.CondReason |
updateEquationsBy | Test.Speculate.Reason |
updateRulesBy | Test.Speculate.Reason |
updateSemiEquationsBy | Test.Speculate.SemiReason |
updateSEquationsBy | Test.Speculate.SemiReason |
usefulConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
usefulEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
usefulImplication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
uselessEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
valuedExpressionsOf | Test.Speculate.Misc |
Var | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
var | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
vars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
vassignments | Test.Speculate.Engine |
weight | Test.Speculate.Reason.Order |
weightExcept | Test.Speculate.Reason.Order |
witness | Test.Speculate |
witnesses | Test.Speculate |
Word1 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Word2 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Word3 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Word4 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
X | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Xs | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
\/ | Test.Speculate |
\\// | Test.Speculate |
|= | Test.Speculate |
|==| | Test.Speculate.Reason |
|> | Test.Speculate.Reason.Order, Test.Speculate.Reason |
|>| | Test.Speculate.Reason.Order |
||| | Test.Speculate |
|||| | Test.Speculate |