Index
| $$ | 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.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 |
| bagCons | Test.Speculate |
| bagsOf | Test.Speculate |
| Binds | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| bool | Test.Speculate |
| boolTy | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| eq | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| eqE | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, 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.TypeInfo, 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.TypeInfo, 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| insert | Test.Speculate.Reason |
| Instance | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| instanceErrors | Test.Speculate.Sanity |
| Instances | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| instances | Test.Speculate.Args, Test.Speculate |
| instanceType | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqE | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrd | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrdE | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isNormal | Test.Speculate.Reason |
| isOrd | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| isOrdE | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, 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 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| listable | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| listableWith | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, 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.TypeInfo, 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 |
| Names | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| names | Test.Speculate.Expr.TypeInfo, 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 |
| 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.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
| ord | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| ordErrors | Test.Speculate.Sanity |
| ordWith | Test.Speculate.Expr.TypeInfo, 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.TypeInfo, 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 |
| 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 |
| reductionsO | Test.Speculate.Reason |
| 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 |
| 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 |
| 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.TypeInfo, 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.TypeInfo, 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 |
| 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 |
| \/ | Test.Speculate |
| \\// | Test.Speculate |
| |= | Test.Speculate |
| |==| | Test.Speculate.Reason |
| |> | Test.Speculate.Reason.Order, Test.Speculate.Reason |
| |>| | Test.Speculate.Reason.Order |
| ||| | Test.Speculate |
| |||| | Test.Speculate |