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 |
| A | Test.Speculate |
| about | Test.Speculate.Args |
| above | Test.Speculate.Utils |
| accum | Test.Speculate.Utils |
| addWeight | Test.Speculate |
| alignLeft | Test.Speculate.Utils |
| alignRight | Test.Speculate.Utils |
| allAbout | Test.Speculate.Args |
| allLater | Test.Speculate.Utils |
| allUnique | Test.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 |
| antisymmetric | Test.Speculate |
| append | Test.Speculate.Reason |
| areAll | Test.Speculate.Utils |
| areAny | Test.Speculate.Utils |
| Arg | |
| 1 (Type/Class) | Test.Speculate.Args |
| 2 (Data Constructor) | 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 |
| argumentTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| argValue | Test.Speculate.Args |
| arity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| associative | Test.Speculate |
| asymmetric | Test.Speculate |
| atoms | Test.Speculate.Args |
| autoConstants | Test.Speculate.Args, Test.Speculate |
| B | Test.Speculate |
| background | Test.Speculate.Args, Test.Speculate |
| backgroundConstants | Test.Speculate.Args |
| Bag | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| bagCons | Test.Speculate |
| bagsOf | Test.Speculate |
| beside | Test.Speculate.Utils |
| Binds | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| bool | Test.Speculate |
| boolTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| both | Test.Speculate.Utils |
| C | Test.Speculate |
| canonicalCEqn | Test.Speculate.CondReason |
| canonicalCEqnBy | Test.Speculate.CondReason |
| canonicalEqn | Test.Speculate.Reason |
| canonicalization | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalizationWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalize | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalizeCEqn | Test.Speculate.CondReason |
| canonicalizeCEqnWith | Test.Speculate.CondReason |
| canonicalizeEqn | Test.Speculate.Reason |
| canonicalizeSemiEquationWith | Test.Speculate.SemiReason |
| canonicalizeShyWith | Test.Speculate.SemiReason |
| canonicalizeWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canonicalRule | Test.Speculate.Reason |
| canonicalVariations | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| canReduceTo | Test.Speculate.Reason |
| cast | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| catPairs | Test.Speculate.Utils |
| cclasses | Test.Speculate.CondReason |
| cdelete | Test.Speculate.CondReason |
| cdiscard | Test.Speculate.CondReason |
| cequations | Test.Speculate.CondReason |
| cequivalent | Test.Speculate.CondReason |
| cfilter | Test.Speculate.CondReason |
| cfinalize | Test.Speculate.CondReason |
| chain | Test.Speculate.Utils |
| Char | Test.Speculate.Utils |
| char | Test.Speculate |
| check | Test.Speculate |
| checkFor | Test.Speculate |
| checkMode | Test.Speculate.Args |
| checkResult | Test.Speculate |
| checkResultFor | Test.Speculate |
| chr | Test.Speculate.Utils |
| Chy | |
| 1 (Type/Class) | Test.Speculate.CondReason |
| 2 (Data Constructor) | Test.Speculate.CondReason |
| cimplications | Test.Speculate.CondReason |
| cinsert | Test.Speculate.CondReason |
| cIsInstanceOf | Test.Speculate.CondReason |
| clamp | Test.Speculate.Utils |
| classesFromSchemas | Test.Speculate.Engine |
| classesFromSchemasAndVariables | Test.Speculate.Engine |
| classify | Test.Speculate |
| classifyBy | |
| 1 (Function) | Test.Speculate |
| 2 (Function) | Test.Speculate.Utils |
| classifyOn | |
| 1 (Function) | Test.Speculate |
| 2 (Function) | Test.Speculate.Utils |
| classifySndByFst | Test.Speculate.Utils |
| classifyWith | Test.Speculate.Utils |
| classStats | Test.Speculate |
| classStatsT | Test.Speculate |
| ClosePunctuation | Test.Speculate.Utils |
| closureLimit | Test.Speculate.Reason |
| cnormalize | Test.Speculate.CondReason |
| collapse | Test.Speculate.Reason |
| commutations | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| commutative | Test.Speculate |
| commutativeOperators | Test.Speculate.Reason |
| compare | Test.Speculate.Utils |
| compareComplexity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareComplexityThenIndex | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareE | Test.Speculate.Reason |
| compareIndex | Test.Speculate.Utils |
| compareLexicographically | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareLexicographicallyBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareQuickly | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| compareTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| comparing | Test.Speculate.Utils |
| comparison | Test.Speculate |
| Complete | Test.Speculate.Args |
| complete | |
| 1 (Function) | Test.Speculate.Args |
| 2 (Function) | Test.Speculate.Reason |
| CompleteDir | Test.Speculate.Args |
| CompleteFile | Test.Speculate.Args |
| CompleteValue | Test.Speculate.Args |
| compose | Test.Speculate.Reason |
| computeInstances | Test.Speculate.Args |
| computeMaxCondSize | Test.Speculate.Args |
| computeMaxSemiSize | Test.Speculate.Args |
| concatMapT | Test.Speculate |
| concatT | Test.Speculate |
| condEqual | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| condEqualM | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| conditionalEquivalences | Test.Speculate.Engine |
| conditionalTheoryFromThyAndReps | Test.Speculate.Engine |
| conditionStats | Test.Speculate |
| conditionStatsT | Test.Speculate |
| ConnectorPunctuation | Test.Speculate.Utils |
| cons0 | Test.Speculate |
| cons1 | Test.Speculate |
| cons10 | Test.Speculate |
| cons11 | Test.Speculate |
| cons12 | Test.Speculate |
| cons2 | Test.Speculate |
| cons3 | Test.Speculate |
| cons4 | Test.Speculate |
| cons5 | Test.Speculate |
| cons6 | Test.Speculate |
| cons7 | Test.Speculate |
| cons8 | Test.Speculate |
| cons9 | Test.Speculate |
| consider | Test.Speculate.Engine |
| constant | Test.Speculate.Args, Test.Speculate |
| constants | Test.Speculate.Args, Test.Speculate |
| constifications | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| constify | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| consts | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Control | Test.Speculate.Utils |
| count | Test.Speculate.Utils |
| counterExample | Test.Speculate |
| counterExamples | Test.Speculate |
| countListTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| counts | Test.Speculate.Utils, Test.Speculate |
| countsBy | Test.Speculate.Utils, Test.Speculate |
| countsOn | Test.Speculate.Utils, Test.Speculate |
| creductions1 | Test.Speculate.CondReason |
| criticalPairs | Test.Speculate.Reason |
| CurrencySymbol | Test.Speculate.Utils |
| curry | Test.Speculate.Utils |
| curry3 | Test.Speculate.Utils |
| curry4 | Test.Speculate.Utils |
| D | Test.Speculate |
| DashPunctuation | Test.Speculate.Utils |
| DecimalNumber | Test.Speculate.Utils |
| deduce | Test.Speculate.Reason |
| defaultKeep | Test.Speculate.Reason |
| delay | Test.Speculate |
| delete | Test.Speculate.Reason |
| deleteT | Test.Speculate |
| depth | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveExpress | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveExpressCascading | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveExpressIfNeeded | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveListable | Test.Speculate |
| deriveListableCascading | Test.Speculate |
| deriveName | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveNameCascading | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| deriveNameIfNeeded | Test.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 |
| digitToInt | Test.Speculate.Utils |
| discard | Test.Speculate.Utils |
| discardByOthers | Test.Speculate.Utils |
| discardEarlier | Test.Speculate.Utils |
| discardLater | Test.Speculate.Utils |
| discardOthers | Test.Speculate.Utils |
| discardRedundantEquations | Test.Speculate.Reason |
| discardTS | Test.Speculate.Utils |
| distinctFromSchemas | Test.Speculate.Engine |
| distributive | Test.Speculate |
| double | Test.Speculate |
| doubleCheck | Test.Speculate.Reason |
| Down | |
| 1 (Type/Class) | Test.Speculate.Utils |
| 2 (Data Constructor) | Test.Speculate.Utils |
| dwoBy | Test.Speculate.Reason.Order, Test.Speculate.Reason |
| E | Test.Speculate |
| eith | Test.Speculate |
| elementTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| emptyChy | Test.Speculate.CondReason |
| emptyShy | Test.Speculate.SemiReason |
| emptyThy | Test.Speculate.Reason |
| EnclosingMark | Test.Speculate.Utils |
| encompasses | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| EQ | Test.Speculate.Utils |
| eqErrors | Test.Speculate.Sanity |
| eqOrdErrors | Test.Speculate.Sanity |
| eqT | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| equal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| Equation | Test.Speculate.SemiReason |
| equations | Test.Speculate.Reason |
| equivalence | Test.Speculate |
| equivalencesBetween | Test.Speculate.Engine |
| equivalent | Test.Speculate.Reason |
| equivalentInstance | Test.Speculate.Reason |
| 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 |
| evl | 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 |
| expansionsOfType | Test.Speculate.Engine |
| expansionsWith | Test.Speculate.Engine |
| Expr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| expr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Express | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| extra | Test.Speculate.Args, Test.Speculate |
| F | Test.Speculate |
| fails | Test.Speculate |
| fastCanonicalVariations | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| fastMostGeneralVariation | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| fastMostSpecificVariation | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| fill | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| filterT | Test.Speculate |
| filterTS | Test.Speculate.Utils |
| finalCondEquations | Test.Speculate.CondReason |
| finalEquations | Test.Speculate.Reason |
| finalize | Test.Speculate.Reason |
| FinalQuote | Test.Speculate.Utils |
| finalResultTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| finalSemiEquations | Test.Speculate.SemiReason |
| findValidApp | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| first | Test.Speculate.Utils |
| firsts | Test.Speculate.Utils |
| Flag | |
| 1 (Type/Class) | Test.Speculate.Args |
| 2 (Data Constructor) | 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 |
| fold | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| foldApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| foldPair | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| foldTrio | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| force | Test.Speculate.Args, Test.Speculate |
| foreground | Test.Speculate.Args, Test.Speculate |
| foregroundConstants | Test.Speculate.Args |
| Format | Test.Speculate.Utils |
| fromFlagOpt | Test.Speculate.Args |
| fromGroup | Test.Speculate.Args |
| fromString | Test.Speculate.Utils |
| fromTimeout | Test.Speculate.Utils |
| fst | Test.Speculate.Utils |
| fst3 | Test.Speculate.Utils |
| fst4 | Test.Speculate.Utils |
| fth4 | Test.Speculate.Utils |
| funny | Test.Speculate.Reason.Order |
| funResultTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| funTyCon | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| gcast | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| gcast1 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| gcast2 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| GeneralCategory | Test.Speculate.Utils |
| generalCategory | Test.Speculate.Utils |
| getArgs | Test.Speculate.Args, Test.Speculate |
| getDown | Test.Speculate.Utils |
| greater | Test.Speculate.SemiReason |
| groundBinds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| groundJoinable | Test.Speculate.Reason |
| grounds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| Group | |
| 1 (Type/Class) | Test.Speculate.Args |
| 2 (Data Constructor) | Test.Speculate.Args |
| groupHidden | Test.Speculate.Args |
| groupNamed | Test.Speculate.Args |
| groupOn | Test.Speculate.Utils |
| groupUnnamed | Test.Speculate.Args |
| GT | Test.Speculate.Utils |
| gtExcept | Test.Speculate.Reason.Order |
| halve | Test.Speculate.Utils |
| hasCanonInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| hasHole | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| hasInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| hasVar | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| height | 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 |
| heqT | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| holds | Test.Speculate |
| hole | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| holeAsTypeOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| holeOfTy | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| holes | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| HRefl | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| idempotent | Test.Speculate |
| identity | Test.Speculate |
| indent | Test.Speculate.Utils |
| inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| initialize | Test.Speculate.Reason |
| InitialQuote | Test.Speculate.Utils |
| insert | Test.Speculate.Reason |
| instanceErrors | Test.Speculate.Sanity |
| Instances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| instances | Test.Speculate.Args, Test.Speculate |
| int | Test.Speculate |
| Int1 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| int1 | Test.Speculate |
| Int2 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| int2 | Test.Speculate |
| Int3 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| int3 | Test.Speculate |
| Int4 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| int4 | Test.Speculate |
| integer | Test.Speculate |
| intToDigit | Test.Speculate.Utils |
| intTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| invalid | Test.Speculate.Reason |
| irreflexive | Test.Speculate |
| isAlpha | Test.Speculate.Utils |
| isAlphaNum | Test.Speculate.Utils |
| isAntisymmetric | Test.Speculate |
| isApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isAscii | Test.Speculate.Utils |
| isAsciiLower | Test.Speculate.Utils |
| isAsciiUpper | Test.Speculate.Utils |
| isAssignment | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isAssociative | Test.Speculate |
| isAsymmetric | Test.Speculate |
| isCanonical | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCanonicalWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCanonInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCommutative | Test.Speculate |
| isComparison | Test.Speculate |
| isComplete | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isConst | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isConstantNamed | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isControl | Test.Speculate.Utils |
| isDigit | Test.Speculate.Utils |
| isDistributiveOver | Test.Speculate |
| isEq | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrdT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| isEquivalence | Test.Speculate |
| isFalse | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| isFlipped | Test.Speculate |
| isFun | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isFunTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isGround | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isHexDigit | Test.Speculate.Utils |
| isHole | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isIdempotent | Test.Speculate |
| isIdentity | Test.Speculate |
| isIllTyped | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isIrreflexive | Test.Speculate |
| isLatin1 | Test.Speculate.Utils |
| isLeftDistributiveOver | Test.Speculate |
| isLetter | Test.Speculate.Utils |
| isListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isListableT | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isLower | Test.Speculate.Utils |
| isLowerCase | Test.Speculate.Utils |
| isMark | Test.Speculate.Utils |
| isNeverIdentity | Test.Speculate |
| isNormal | Test.Speculate.Reason |
| isNumber | Test.Speculate.Utils |
| isOctDigit | Test.Speculate.Utils |
| isOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isOrdT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isPartialOrder | Test.Speculate |
| isPrint | Test.Speculate.Utils |
| isPunctuation | Test.Speculate.Utils |
| isReflexive | Test.Speculate |
| isRightDistributiveOver | Test.Speculate |
| isRootNormal | Test.Speculate.Reason |
| isRootNormalE | Test.Speculate.Reason |
| isSeparator | Test.Speculate.Utils |
| isSpace | Test.Speculate.Utils |
| isStrictPartialOrder | Test.Speculate |
| isStrictTotalOrder | Test.Speculate |
| IsString | Test.Speculate.Utils |
| isSubexprOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isSymbol | Test.Speculate.Utils |
| isSymmetric | Test.Speculate |
| isTotalOrder | Test.Speculate |
| isTransitive | Test.Speculate |
| isTrue | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| isUpper | Test.Speculate.Utils |
| isUpperCase | Test.Speculate.Utils |
| isValue | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isVar | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isWellTyped | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| iterateUntil | Test.Speculate.Utils |
| iterateUntilLimit | Test.Speculate.Utils |
| 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 |
| 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 |
| Letter | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| LetterNumber | Test.Speculate.Utils |
| Letters | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| lexLitChar | Test.Speculate.Utils |
| lines | Test.Speculate.Utils |
| LineSeparator | Test.Speculate.Utils |
| list | Test.Speculate |
| Listable | Test.Speculate |
| listEquivalent | Test.Speculate.CondReason |
| listFloating | Test.Speculate |
| listFractional | Test.Speculate |
| listImplied | Test.Speculate.CondReason |
| listImplies | Test.Speculate.CondReason |
| listIntegral | Test.Speculate |
| listsOf | Test.Speculate |
| listsOfLength | Test.Speculate |
| listVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| listVarsAsTypeOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| listVarsWith | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| lookupComparison | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| lookupName | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| lookupNames | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| lookupTiers | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| lookupTiersT | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| Lower | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| LowercaseLetter | Test.Speculate.Utils |
| Lowers | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| LT | Test.Speculate.Utils |
| Map | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| mapCons | Test.Speculate |
| mapConsts | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mapSemiEquations | Test.Speculate.SemiReason |
| mapSubexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mapT | Test.Speculate |
| mapTMaybe | Test.Speculate.Utils |
| mapValues | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mapVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| match | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| matchWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| MathSymbol | Test.Speculate.Utils |
| max | Test.Speculate.Utils |
| 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 |
| maybe2 | Test.Speculate.Utils |
| maybeHoleOfTy | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| maybesToMaybe | Test.Speculate.Utils |
| medianate | Test.Speculate.Utils |
| memory | Test.Speculate.Utils |
| memory2 | Test.Speculate.Utils |
| memory2For | Test.Speculate.Utils |
| memoryFor | Test.Speculate.Utils |
| min | Test.Speculate.Utils |
| minTests | Test.Speculate.Args, Test.Speculate |
| mkCompareTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mkComparison | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkComparisonLE | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkComparisonLT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkComparisonTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mkConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| mkEq | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| mkEquation | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkFunTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| mkListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| mkName | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkNameWith | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| mkOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| mkOrdLessEqual | Test.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 |
| 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 |
| ModifierLetter | Test.Speculate.Utils |
| ModifierSymbol | Test.Speculate.Utils |
| mostGeneralCanonicalVariation | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mostSpecificCanonicalVariation | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| mtyp | Test.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 |
| name | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| names | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Nat | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| nat | Test.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 |
| natural | Test.Speculate |
| neverIdentity | Test.Speculate |
| NoDup | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| noDupListCons | Test.Speculate |
| noDupListsOf | Test.Speculate |
| none | Test.Speculate.Utils |
| NonSpacingMark | Test.Speculate.Utils |
| normalize | Test.Speculate.Reason |
| normalizedCriticalPairs | Test.Speculate.Reason |
| normalizeE | Test.Speculate.Reason |
| normalizeT | Test.Speculate |
| NotAssigned | Test.Speculate.Utils |
| nubConsts | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| nubHoles | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| nubMerge | Test.Speculate.Utils |
| nubMergeBy | Test.Speculate.Utils |
| nubMergeMap | Test.Speculate.Utils |
| nubMergeOn | Test.Speculate.Utils |
| nubMerges | Test.Speculate.Utils |
| nubMergesBy | Test.Speculate.Utils |
| nubSort | Test.Speculate.Utils |
| nubSortBy | Test.Speculate.Utils |
| nubSubexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| nubValues | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| nubVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| ofWeight | Test.Speculate |
| okEq | Test.Speculate |
| okEqOrd | Test.Speculate |
| okNum | Test.Speculate |
| okNumNonNegative | Test.Speculate |
| okOrd | Test.Speculate |
| okThy | Test.Speculate.Reason |
| onlyTypes | Test.Speculate.Args, Test.Speculate |
| OpenPunctuation | Test.Speculate.Utils |
| Ord | Test.Speculate.Utils |
| ord | Test.Speculate.Utils |
| ordered | Test.Speculate.Utils |
| orderedBy | Test.Speculate.Utils |
| orderedOn | Test.Speculate.Utils |
| Ordering | Test.Speculate.Utils |
| ordering | Test.Speculate |
| orderingTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| ordErrors | Test.Speculate.Sanity |
| ordIntersect | Test.Speculate.Utils |
| ordIntersectBy | Test.Speculate.Utils |
| orient | Test.Speculate.Reason |
| OtherLetter | Test.Speculate.Utils |
| OtherNumber | Test.Speculate.Utils |
| OtherPunctuation | Test.Speculate.Utils |
| OtherSymbol | Test.Speculate.Utils |
| pairsThat | Test.Speculate.Utils |
| ParagraphSeparator | Test.Speculate.Utils |
| parseBool | Test.Speculate.Args |
| partialOrder | Test.Speculate |
| partitionByMarkers | Test.Speculate.Utils |
| percent | Test.Speculate.Utils |
| preludeInstances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| preludeNameInstances | Test.Speculate.Expr.Core, 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 |
| PrivateUse | Test.Speculate.Utils |
| 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 |
| productsList | Test.Speculate.Utils |
| productWith | Test.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 |
| psortBy | Test.Speculate.Engine |
| putLines | Test.Speculate.Utils |
| quietDot | Test.Speculate.Args, Test.Speculate |
| rational | Test.Speculate |
| readLitChar | Test.Speculate.Utils |
| reallyShowConditions | Test.Speculate.Args |
| reduceRootWith | Test.Speculate.CondReason |
| reductions1 | Test.Speculate.Reason |
| reductions1With | Test.Speculate.CondReason |
| Refl | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reflexive | Test.Speculate |
| reifyEq | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyEqOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyInstances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyInstances1 | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| reifyListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyName | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| reifyOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| Remap | Test.Speculate.Args |
| remap | Test.Speculate.Args |
| remap2 | Test.Speculate.Args |
| remapUpdate | Test.Speculate.Args |
| renameVarsBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| report | Test.Speculate.Report, Test.Speculate |
| reportCountsBy | Test.Speculate.Utils |
| representativesFromAtoms | Test.Speculate.Engine |
| representativesFromAtomsKeeping | Test.Speculate.Engine |
| reset | Test.Speculate |
| results | Test.Speculate |
| resultTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| rnfTyCon | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| rnfTypeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| rules | Test.Speculate.Reason |
| scompareE | Test.Speculate.SemiReason |
| second | Test.Speculate.Utils |
| semiTheoryFromThyAndReps | Test.Speculate.Engine |
| sequations | Test.Speculate.SemiReason |
| serious | Test.Speculate.Reason.Order |
| Set | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | 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.Args, 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 |
| showLitChar | Test.Speculate.Utils |
| showOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showRatio | Test.Speculate.Utils |
| showSemiequations | Test.Speculate.Args, Test.Speculate |
| showsTypeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, 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 |
| size | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| snd | Test.Speculate.Utils |
| snd3 | Test.Speculate.Utils |
| snd4 | Test.Speculate.Utils |
| Solo | Test.Speculate.Utils |
| sortOn | Test.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 |
| spaces | Test.Speculate.Utils |
| SpacingCombiningMark | Test.Speculate.Utils |
| speculate | Test.Speculate |
| splitArgs | Test.Speculate.Args |
| splitAtCommas | Test.Speculate.Utils |
| splitTyConApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| stheorize | Test.Speculate.SemiReason |
| sthy | Test.Speculate.SemiReason |
| strictlyOrdered | Test.Speculate.Utils |
| strictlyOrderedOn | Test.Speculate.Utils |
| strictPartialOrder | Test.Speculate |
| strictTotalOrder | Test.Speculate |
| String | Test.Speculate.Utils |
| string | Test.Speculate |
| subConsequence | Test.Speculate.Engine |
| subexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| suchThat | Test.Speculate |
| Surrogate | Test.Speculate.Utils |
| swap | Test.Speculate.Utils |
| symmetric | Test.Speculate |
| symmetric2 | Test.Speculate |
| table | Test.Speculate.Utils |
| takeGreaterHalf | Test.Speculate.Utils |
| Testable | Test.Speculate |
| theorize | Test.Speculate.Reason |
| theorizeBy | Test.Speculate.Reason |
| theoryAndRepresentativesFromAtoms | Test.Speculate.Engine |
| theoryAndRepresentativesFromAtomsKeeping | Test.Speculate.Engine |
| theoryFromAtoms | Test.Speculate.Engine |
| theoryFromAtomsKeeping | Test.Speculate.Engine |
| thn | Test.Speculate.Utils |
| Thy | |
| 1 (Type/Class) | Test.Speculate.Reason |
| 2 (Data Constructor) | Test.Speculate.Reason |
| tiers | Test.Speculate |
| tiersFloating | Test.Speculate |
| tiersFractional | Test.Speculate |
| timeout | Test.Speculate.Args |
| timeoutToError | Test.Speculate.Utils |
| timeoutToFalse | Test.Speculate.Utils |
| timeoutToNothing | Test.Speculate.Utils |
| timeoutToTrue | Test.Speculate.Utils |
| TitlecaseLetter | Test.Speculate.Utils |
| toDynamic | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| toGroup | Test.Speculate.Args |
| toLower | Test.Speculate.Utils |
| totalOrder | Test.Speculate |
| toTiers | Test.Speculate |
| toTitle | Test.Speculate.Utils |
| toUpper | Test.Speculate.Utils |
| transConsequence | Test.Speculate.SemiReason |
| transitive | Test.Speculate |
| trd3 | Test.Speculate.Utils |
| trd4 | Test.Speculate.Utils |
| trLiftedRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| trueRatio | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| tyArity | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| TyCon | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| tyConFingerprint | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| tyConModule | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| tyConName | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| tyConPackage | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typ | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Typeable | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf1 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf2 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf3 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf4 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf5 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf6 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeOf7 | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| TypeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRepArgs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRepFingerprint | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRepTyCon | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| types | Test.Speculate.Args |
| typesIn | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| typesInList | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| UInt1 | Test.Speculate |
| uint1 | Test.Speculate |
| UInt2 | Test.Speculate |
| uint2 | Test.Speculate |
| UInt3 | Test.Speculate |
| uint3 | Test.Speculate |
| UInt4 | Test.Speculate |
| uint4 | Test.Speculate |
| unAlpha | Test.Speculate |
| unAlphaNum | Test.Speculate |
| unAlphaNums | Test.Speculate |
| unAlphas | Test.Speculate |
| unComparison | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unConditionalEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| uncurry | Test.Speculate.Utils |
| uncurry10 | Test.Speculate.Utils |
| uncurry11 | Test.Speculate.Utils |
| uncurry12 | Test.Speculate.Utils |
| uncurry3 | Test.Speculate.Utils |
| uncurry4 | Test.Speculate.Utils |
| uncurry5 | Test.Speculate.Utils |
| uncurry6 | Test.Speculate.Utils |
| uncurry7 | Test.Speculate.Utils |
| uncurry8 | Test.Speculate.Utils |
| uncurry9 | Test.Speculate.Utils |
| und | Test.Speculate |
| undefined1 | Test.Speculate.Utils |
| undefined2 | Test.Speculate.Utils |
| unDigit | Test.Speculate |
| unDigits | Test.Speculate |
| unEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unfold | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldPair | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldTrio | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unFunTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unification | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unificationC | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unify | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unInt1 | Test.Speculate |
| unInt2 | Test.Speculate |
| unInt3 | Test.Speculate |
| unInt4 | Test.Speculate |
| unLetter | Test.Speculate |
| unLetters | Test.Speculate |
| unlines | Test.Speculate.Utils |
| unLower | Test.Speculate |
| unLowers | 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 |
| unNatural | Test.Speculate |
| unquote | Test.Speculate.Utils |
| unrepeatedVars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unSpace | Test.Speculate |
| unSpaces | Test.Speculate |
| unThy | Test.Speculate.CondReason |
| unUpper | Test.Speculate |
| unUppers | Test.Speculate |
| unWord1 | Test.Speculate |
| unWord2 | Test.Speculate |
| unWord3 | Test.Speculate |
| unWord4 | Test.Speculate |
| unwords | Test.Speculate.Utils |
| unX | 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 |
| Upper | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| UppercaseLetter | Test.Speculate.Utils |
| Uppers | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| uptoT | Test.Speculate.Utils |
| val | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| validApps | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| Value | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| value | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| values | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| var | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| varAsTypeOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| variableNamesFromTemplate | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| vars | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| weight | Test.Speculate.Reason.Order |
| weightExcept | Test.Speculate.Reason.Order |
| withMemory | Test.Speculate.Utils |
| withMemory2 | Test.Speculate.Utils |
| witness | Test.Speculate |
| witnesses | Test.Speculate |
| Word1 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| word1 | Test.Speculate |
| Word2 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| word2 | Test.Speculate |
| Word3 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| word3 | Test.Speculate |
| Word4 | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| word4 | Test.Speculate |
| words | Test.Speculate.Utils |
| X | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| Xs | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| zipWithReverse | Test.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 |