Index
| $$ | 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 |
| -:> | 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, Test.Extrapolate |
| 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 |
| argTypes0 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes10 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes11 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes12 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes6 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes7 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes8 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTypes9 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTys1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| argTys2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arity | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| assign | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| assigning | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| atomicConstants | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bagCons | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bagsOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Binds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| bool | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| boolTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| canonicalize | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| canonicalizeWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| canonicalWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| compareComplexityThen | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| comparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| comparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| condEqualM | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| conditionalComparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| conditionalComparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| conditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| conditionalGeneralization | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| counterExampleGen | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| counterExampleGens | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| countVar | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| countVars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| defNames | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| 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 |
| eq | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eqE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eqExprCommuting | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eqOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| equal | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| equation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eqWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| etyp | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| eval | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| evaluate | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| ExtraInstances | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| extraInstances | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| fails | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| false | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| falseE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| fill | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| filterT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| findInfo | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| float | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| fold | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| for | Test.Extrapolate.IO, Test.Extrapolate |
| Generalizable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| generalizationsCE | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| generalizationsCEC | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| generalizationsCounts | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| groundAndBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| groundBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| grounds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| groundsAndBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| hasCanonInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| hasInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| hasVar | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| holds | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| hole | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| holeOfTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| holes | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| implication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| inequal | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Instance | |
| 1 (Data Constructor) | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 2 (Type/Class) | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Instances | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| instances | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| instanceType | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| isAssignmentTest | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isCanonInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isConstantNamed | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isEq | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isEqE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isEqOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isEqOrdE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isInstanceOf | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isListable | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isOrd | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isOrdE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| isSub | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| leE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| lengthE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| less | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| lessOrEqual | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| lexicompare | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| lexicompareBy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| listableWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| mapT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| match | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| match2 | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| matchList | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| matchWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| MaxConditionSize | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| maxConditionSize | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| MaxTests | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| maxTests | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| mayb | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| mkEqnTy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| name | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| nameOf | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| names | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| nat | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| newMatches | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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 |
| ofWeight | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Option | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| option | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| options | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ord | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| ordWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| phonyEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| preludeInstances | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| renameBy | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| reset | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| results | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| showOpExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| showPrecExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| showsOpExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| showsPrecExpr | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| string | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| sub | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| subexprs | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| subexprsV | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| suchThat | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Testable | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| these | 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, Test.Extrapolate |
| tiersFractional | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| toTiers | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| true | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| trueBinds | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| trueRatio | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| typ | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| typeCorrect | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| TypeRep | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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, Test.Extrapolate |
| unConditionalComparison | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unConditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| und | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unfold | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unfoldApp | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unification | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unify | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unImplication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| unrepeatedVars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| useful | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| usefulConditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| usefulEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| usefulImplication | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| usefuns | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| uselessEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| Var | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| var | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| vars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| vassignments | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| With | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| withBackground | Test.Extrapolate.IO, Test.Extrapolate |
| withConditionSize | Test.Extrapolate.IO, Test.Extrapolate |
| withInstances | Test.Extrapolate.IO, Test.Extrapolate |
| WithOption | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
| 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 |