Index
| $$ | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| $-| | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| *==* | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| +++ | Test.Extrapolate.Utils, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| +| | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| -: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| -:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>>>:> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ->>>>>>>>>>>>: | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| :$ | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ==> | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| >- | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| >< | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| addWeight | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| areInstancesOf | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| argTy1of1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy1of2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy1of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy1of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy1of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy1of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy2of2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy2of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy2of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy2of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy2of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy3of3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy3of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy3of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy3of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy4of4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy4of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy4of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy5of5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy5of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTy6of6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arity | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| assign | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| assigning | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| atomicConstants | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| background | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| backgroundOf | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| backgroundWith | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| bagCons | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bagsOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bgEq | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bgOrd | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Binds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| bool | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| boolTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| candidateConditions | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| canonicalize | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| canonicalizeWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| canonicalWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| char | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| check | Test.Extrapolate.IO, Test.Extrapolate |
| checkResult | Test.Extrapolate.IO, Test.Extrapolate |
| compareComplexity | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| compareComplexityThen | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| comparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| comparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| concatMapT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| concatT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| condEqual | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| condEqualM | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| conditionalComparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| conditionalComparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| conditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| conditionalGeneralization | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| cons0 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons1 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons10 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons11 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons12 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons2 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons3 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons4 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons5 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons6 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons7 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons8 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| cons9 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Constant | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| constant | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| consts | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| counterExampleGen | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| counterExampleGens | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| countVar | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| countVars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| defNames | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| delay | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| deleteT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| depthE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| deriveGeneralizable | Test.Extrapolate.Derive, Test.Extrapolate |
| deriveGeneralizableCascading | Test.Extrapolate.Derive, Test.Extrapolate |
| deriveGeneralizableIfNeeded | Test.Extrapolate.Derive, Test.Extrapolate |
| deriveListable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| deriveListableCascading | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| double | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eith | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| elemBy | Test.Extrapolate.Utils |
| eq | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| eqE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| eqExprCommuting | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| eqOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| equal | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| equation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| eqWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| etyp | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| eval | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| evaluate | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| exists | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Expr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| expr | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| expressionsT | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| ExtraInstances | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| extraInstances | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| fails | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| false | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| falseE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| fill | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| filterT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| findInfo | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| float | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| fold | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| foldr0 | Test.Extrapolate.Utils |
| for | Test.Extrapolate.IO, Test.Extrapolate |
| fromLeft | Test.Extrapolate.Utils |
| fromRight | Test.Extrapolate.Utils |
| Generalizable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| generalizations | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| generalizationsCE | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| generalizationsCEC | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| generalizationsCounts | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| groundAndBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| groundBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| grounds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| groundsAndBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| hasCanonInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| hasEq | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| hasInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| hasVar | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| holds | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| hole | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| holeOfTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| holes | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| implication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| inequal | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| Instance | |
| 1 (Data Constructor) | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| 2 (Type/Class) | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| Instances | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| instances | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| instanceType | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| int | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| int1 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| int2 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| int3 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| int4 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| integer | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isAssignment | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isAssignmentTest | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isCanonInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isConstantNamed | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isEq | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isEqE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isEqOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isEqOrdE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isListable | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isOrdE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isSub | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| isTuple | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| leE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| lengthE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| less | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| lessOrEqual | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| lexicompare | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| lexicompareBy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| list | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Listable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| listable | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| listableWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| listIntegral | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| listsOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| listsOfLength | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ltE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| mapT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| match | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| match2 | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| matchList | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| matchWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| MaxConditionSize | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| maxConditionSize | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| MaxTests | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| maxTests | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| mayb | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| mkEqnTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| name | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| names | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| nameWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| nat | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| newMatches | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| noDupListCons | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| noDupListsOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| normalizeT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| nubMerge | Test.Extrapolate.Utils |
| nubMergeBy | Test.Extrapolate.Utils |
| nubMergeOn | Test.Extrapolate.Utils |
| ofWeight | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Option | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| option | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| options | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| ord | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| ordering | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ordWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| phonyEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| preludeInstances | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| product3With | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| productMaybeWith | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| products | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| property | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| renameBy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| reset | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| resultiers | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| results | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| setCons | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| setsOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| showConstant | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| showExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| showOpExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| showPrecExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| showsOpExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| showsPrecExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| string | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| sub | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| subexprs | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| subexprsV | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| suchThat | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Testable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| this | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| tiers | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| tiersE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| tiersFractional | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| tinstances | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| toTiers | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| true | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| trueBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| trueRatio | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| typ | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| typeCorrect | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| TypeRep | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| uint1 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| uint2 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| uint3 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| uint4 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unComparison | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unConditionalComparison | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unConditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| und | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unfold | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unfoldApp | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unfoldTuple | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unification | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unify | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unImplication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| unrepeatedVars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| usefulConditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| usefulEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| usefulImplication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| uselessEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| Var | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| var | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| vars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| vassignments | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
| weakestCondition | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| With | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| withBackground | Test.Extrapolate.IO, Test.Extrapolate |
| withConditionSize | Test.Extrapolate.IO, Test.Extrapolate |
| withInstances | Test.Extrapolate.IO |
| WithOption | Test.Extrapolate.Core, Test.Extrapolate.Basic |
| witness | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| witnesses | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| \/ | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| \\// | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |