Index
| $$ | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| $= | 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 |
| ->>: | 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.Utils, Test.Speculate |
| < | Test.Speculate.Utils |
| <= | Test.Speculate.Utils |
| =$ | Test.Speculate |
| === | Test.Speculate |
| ==== | Test.Speculate |
| ==> | Test.Speculate |
| =| | Test.Speculate |
| > | Test.Speculate.Utils |
| >- | Test.Speculate |
| >< | Test.Speculate |
| >= | Test.Speculate.Utils |
| >| | Test.Speculate.Reason.Order |
| above | Test.Speculate.Utils |
| accum | Test.Speculate.Utils |
| addWeight | Test.Speculate |
| alignLeft | Test.Speculate.Utils |
| alignRight | Test.Speculate.Utils |
| allLater | Test.Speculate.Utils |
| allUnique | Test.Speculate.Utils |
| antisymmetric | Test.Speculate |
| append | Test.Speculate.Reason |
| areAll | Test.Speculate.Utils |
| areAny | Test.Speculate.Utils |
| 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 |
| argumentTy | Test.Speculate.Utils |
| 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 |
| atomic | Test.Speculate.Utils |
| 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 |
| bell | Test.Speculate.Utils |
| beside | Test.Speculate.Utils |
| Binds | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| bool | Test.Speculate |
| boolTy | Test.Speculate.Utils, 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.Utils, 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 |
| classesFromSchemas | Test.Speculate.Engine |
| ClosePunctuation | Test.Speculate.Utils |
| closureLimit | Test.Speculate.Reason |
| cnormalize | Test.Speculate.CondReason |
| collapse | Test.Speculate.Reason |
| collectBy | Test.Speculate.Utils |
| collectOn | Test.Speculate.Utils |
| collectSndByFst | Test.Speculate.Utils |
| collectWith | Test.Speculate.Utils |
| commutative | Test.Speculate |
| compare | Test.Speculate.Utils |
| 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 |
| compareIndex | Test.Speculate.Utils |
| compareTy | Test.Speculate.Utils |
| comparing | Test.Speculate.Utils |
| 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 |
| 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.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 |
| Control | Test.Speculate.Utils |
| count | Test.Speculate.Utils |
| counterExample | Test.Speculate |
| counterExamples | Test.Speculate |
| counts | Test.Speculate.Utils |
| countsBy | Test.Speculate.Utils |
| 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 |
| CurrencySymbol | Test.Speculate.Utils |
| curry | Test.Speculate.Utils |
| curry3 | Test.Speculate.Utils |
| curry4 | Test.Speculate.Utils |
| DashPunctuation | Test.Speculate.Utils |
| DecimalNumber | Test.Speculate.Utils |
| 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 |
| digitToInt | Test.Speculate.Utils |
| discard | Test.Speculate.Utils |
| discardByOthers | Test.Speculate.Utils |
| discardEarlier | Test.Speculate.Utils |
| discardLater | Test.Speculate.Utils |
| discardLaterT | Test.Speculate.Utils |
| discardOthers | Test.Speculate.Utils |
| discardRedundantEquations | Test.Speculate.Reason |
| discardT | Test.Speculate.Utils |
| discardTS | Test.Speculate.Utils |
| distinctFromSchemas | Test.Speculate.Engine |
| distributive | Test.Speculate |
| double | Test.Speculate |
| Down | |
| 1 (Data Constructor) | Test.Speculate.Utils |
| 2 (Type/Class) | Test.Speculate.Utils |
| dwoBy | Test.Speculate.Reason.Order, Test.Speculate.Reason |
| eith | Test.Speculate |
| emptyChy | Test.Speculate.CondReason |
| emptyShy | Test.Speculate.SemiReason |
| emptyThy | Test.Speculate.Reason |
| EnclosingMark | Test.Speculate.Utils |
| EQ | Test.Speculate.Utils |
| 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.Utils, 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 |
| filterTS | Test.Speculate.Utils |
| finalCondEquations | Test.Speculate.CondReason |
| finalEquations | Test.Speculate.Reason |
| finalize | Test.Speculate.Reason |
| FinalQuote | Test.Speculate.Utils |
| finalResultTy | Test.Speculate.Utils |
| finalSemiEquations | Test.Speculate.SemiReason |
| findInfo | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| firsts | Test.Speculate.Utils |
| 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 |
| 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 |
| functions1 | Test.Speculate.Misc |
| functions2 | Test.Speculate.Misc |
| functions3 | Test.Speculate.Misc |
| functions4 | Test.Speculate.Misc |
| funResultTy | Test.Speculate.Utils, Test.Speculate |
| funTyCon | Test.Speculate.Utils |
| gcast | Test.Speculate.Utils, Test.Speculate |
| gcast1 | Test.Speculate.Utils, Test.Speculate |
| gcast2 | Test.Speculate.Utils, Test.Speculate |
| GeneralCategory | Test.Speculate.Utils |
| generalCategory | Test.Speculate.Utils |
| 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 |
| groupOn | Test.Speculate.Utils |
| groupUnnamed | Test.Speculate.Args |
| GT | Test.Speculate.Utils |
| 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 |
| indent | Test.Speculate.Utils |
| inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| initialize | Test.Speculate.Reason |
| InitialQuote | Test.Speculate.Utils |
| 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 |
| intToDigit | Test.Speculate.Utils |
| irreflexive | Test.Speculate |
| isAlpha | Test.Speculate.Utils |
| isAlphaNum | Test.Speculate.Utils |
| isAscii | Test.Speculate.Utils |
| isAsciiLower | Test.Speculate.Utils |
| isAsciiUpper | Test.Speculate.Utils |
| 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 |
| isControl | Test.Speculate.Utils |
| isDigit | Test.Speculate.Utils |
| 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 |
| isFunTy | Test.Speculate.Utils |
| isHexDigit | Test.Speculate.Utils |
| isInfix | Test.Speculate.Utils |
| isInfixedPrefix | Test.Speculate.Utils |
| isInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| isLatin1 | Test.Speculate.Utils |
| isLetter | Test.Speculate.Utils |
| isListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isLower | Test.Speculate.Utils |
| isMark | Test.Speculate.Utils |
| isNegativeLiteral | Test.Speculate.Utils |
| isNormal | Test.Speculate.Reason |
| isNumber | Test.Speculate.Utils |
| isOctDigit | Test.Speculate.Utils |
| isOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isOrdE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isPrefix | Test.Speculate.Utils |
| isPrint | Test.Speculate.Utils |
| isPunctuation | Test.Speculate.Utils |
| iss | Test.Speculate.Utils |
| isSeparator | Test.Speculate.Utils |
| isSpace | Test.Speculate.Utils |
| IsString | Test.Speculate.Utils |
| isSub | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isSymbol | Test.Speculate.Utils |
| isTuple | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isUpper | Test.Speculate.Utils |
| 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 |
| 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 |
| LetterNumber | Test.Speculate.Utils |
| lexicompare | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| lexicompareBy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| lexLitChar | Test.Speculate.Utils |
| lines | Test.Speculate.Utils |
| LineSeparator | Test.Speculate.Utils |
| 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 |
| LowercaseLetter | Test.Speculate.Utils |
| LT | Test.Speculate.Utils |
| ltE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mapSemiEquations | Test.Speculate.SemiReason |
| mapT | Test.Speculate |
| mapTMaybe | Test.Speculate.Utils |
| 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 |
| 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 |
| 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 |
| mkAppTy | Test.Speculate.Utils, Test.Speculate |
| mkEqnTy | Test.Speculate.Utils, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| mkFunTy | Test.Speculate.Utils, Test.Speculate |
| mkTyCon3 | Test.Speculate.Utils, Test.Speculate |
| mkTyConApp | Test.Speculate.Utils, 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 |
| ModifierLetter | Test.Speculate.Utils |
| ModifierSymbol | Test.Speculate.Utils |
| 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 |
| namesFromTemplate | Test.Speculate.Utils |
| 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 |
| NonSpacingMark | Test.Speculate.Utils |
| normalize | Test.Speculate.Reason |
| normalizedCriticalPairs | Test.Speculate.Reason |
| normalizeE | Test.Speculate.Reason |
| normalizeT | Test.Speculate |
| NotAssigned | Test.Speculate.Utils |
| 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 |
| ofWeight | Test.Speculate |
| okEq | Test.Speculate |
| okEqOrd | Test.Speculate |
| okOrd | Test.Speculate |
| okThy | Test.Speculate.Reason |
| onlyTypes | Test.Speculate.Args, Test.Speculate |
| OpenPunctuation | Test.Speculate.Utils |
| Ord | Test.Speculate.Utils |
| ord | |
| 1 (Function) | Test.Speculate.Utils |
| 2 (Function) | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| ordered | Test.Speculate.Utils |
| orderedBy | Test.Speculate.Utils |
| orderedOn | Test.Speculate.Utils |
| Ordering | Test.Speculate.Utils |
| ordErrors | Test.Speculate.Sanity |
| ordIntersect | Test.Speculate.Utils |
| ordIntersectBy | Test.Speculate.Utils |
| ordWith | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| orient | Test.Speculate.Reason |
| OtherLetter | Test.Speculate.Utils |
| OtherNumber | Test.Speculate.Utils |
| OtherPunctuation | Test.Speculate.Utils |
| OtherSymbol | Test.Speculate.Utils |
| outernmostPrec | Test.Speculate.Utils |
| pairsThat | Test.Speculate.Utils |
| ParagraphSeparator | Test.Speculate.Utils |
| parseBool | Test.Speculate.Args |
| partialOrder | Test.Speculate |
| partitionByMarkers | Test.Speculate.Utils |
| partitionT | Test.Speculate.Utils |
| percent | Test.Speculate.Utils |
| phonyEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| prec | Test.Speculate.Utils |
| 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 |
| prime | Test.Speculate.Utils |
| primeCycle | Test.Speculate.Utils |
| 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 (Data Constructor) | Test.Speculate.Utils, Test.Speculate |
| 2 (Type/Class) | Test.Speculate.Utils, Test.Speculate |
| psortBy | Test.Speculate.Engine |
| putLines | Test.Speculate.Utils |
| quietDot | Test.Speculate.Args, 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.Utils, 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 |
| reportCountsBy | Test.Speculate.Utils |
| reset | Test.Speculate |
| results | Test.Speculate |
| resultTy | Test.Speculate.Utils |
| rnfTyCon | Test.Speculate.Utils, Test.Speculate |
| rnfTypeRep | Test.Speculate.Utils, 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 |
| 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 |
| 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.Utils, 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 |
| snd | Test.Speculate.Utils |
| snd3 | Test.Speculate.Utils |
| snd4 | Test.Speculate.Utils |
| sortOn | Test.Speculate.Utils |
| Space | Test.Speculate.Utils |
| spaces | Test.Speculate.Utils |
| SpacingCombiningMark | Test.Speculate.Utils |
| speculate | Test.Speculate |
| splitArgs | Test.Speculate.Args |
| splitAtCommas | Test.Speculate.Utils |
| splitTyConApp | Test.Speculate.Utils, 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 |
| 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 |
| 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 |
| theoryFromAtoms | Test.Speculate.Engine |
| thn | Test.Speculate.Utils |
| 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 |
| timeoutToError | Test.Speculate.Utils |
| timeoutToFalse | Test.Speculate.Utils |
| timeoutToNothing | Test.Speculate.Utils |
| timeoutToTrue | Test.Speculate.Utils |
| TitlecaseLetter | Test.Speculate.Utils |
| toGroup | Test.Speculate.Args |
| toLower | Test.Speculate.Utils |
| toPrefix | 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 |
| 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 |
| tyArity | Test.Speculate.Utils |
| TyCon | Test.Speculate.Utils, Test.Speculate |
| tyConFingerprint | Test.Speculate.Utils, Test.Speculate |
| tyConModule | Test.Speculate.Utils, Test.Speculate |
| tyConName | Test.Speculate.Utils, Test.Speculate |
| tyConPackage | Test.Speculate.Utils, Test.Speculate |
| tyConString | Test.Speculate.Utils, Test.Speculate |
| typ | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Typeable | Test.Speculate.Utils, Test.Speculate |
| Typeable1 | Test.Speculate.Utils, Test.Speculate |
| Typeable2 | Test.Speculate.Utils, Test.Speculate |
| Typeable3 | Test.Speculate.Utils, Test.Speculate |
| Typeable4 | Test.Speculate.Utils, Test.Speculate |
| Typeable5 | Test.Speculate.Utils, Test.Speculate |
| Typeable6 | Test.Speculate.Utils, Test.Speculate |
| Typeable7 | Test.Speculate.Utils, Test.Speculate |
| typeCorrect | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| typeOf | Test.Speculate.Utils, Test.Speculate |
| typeOf1 | Test.Speculate.Utils, Test.Speculate |
| typeOf2 | Test.Speculate.Utils, Test.Speculate |
| typeOf3 | Test.Speculate.Utils, Test.Speculate |
| typeOf4 | Test.Speculate.Utils, Test.Speculate |
| typeOf5 | Test.Speculate.Utils, Test.Speculate |
| typeOf6 | Test.Speculate.Utils, Test.Speculate |
| typeOf7 | Test.Speculate.Utils, Test.Speculate |
| TypeRep | Test.Speculate.Utils, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRep | Test.Speculate.Utils, Test.Speculate |
| typeRepArgs | Test.Speculate.Utils, Test.Speculate |
| typeRepFingerprint | Test.Speculate.Utils, Test.Speculate |
| typeRepTyCon | Test.Speculate.Utils, Test.Speculate |
| types | Test.Speculate.Args |
| typesIn | Test.Speculate.Utils |
| 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 |
| 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 |
| unEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unfoldTuple | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| unFunTy | Test.Speculate.Utils |
| 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 |
| unlines | Test.Speculate.Utils |
| unNat | Test.Speculate |
| unNat1 | Test.Speculate |
| unNat2 | Test.Speculate |
| unNat3 | Test.Speculate |
| unNat4 | Test.Speculate |
| unNat5 | Test.Speculate |
| unNat6 | Test.Speculate |
| unNat7 | Test.Speculate |
| unquote | Test.Speculate.Utils |
| 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 |
| unwords | Test.Speculate.Utils |
| 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 |
| UppercaseLetter | Test.Speculate.Utils |
| uptoT | Test.Speculate.Utils |
| 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 |
| withMemory | Test.Speculate.Utils |
| withMemory2 | Test.Speculate.Utils |
| 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 |
| words | Test.Speculate.Utils |
| X | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| Xs | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | 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 |