Index
| $$ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| */=* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| *<* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| *<=* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| *==* | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| +++ | Test.Extrapolate.Utils |
| +| | Test.Extrapolate.Core, Test.Extrapolate |
| -&&- | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| -: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| -:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->:: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| ->:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>>>:> | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ->>>>>>>>>>>>: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| // | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| //- | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| :$ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| :~: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| :~~: | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| ==: | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| ==> | Test.Extrapolate.Core, Test.Extrapolate |
| >- | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| >< | Test.Extrapolate.Core, Test.Extrapolate |
| addWeight | Test.Extrapolate.Core, Test.Extrapolate |
| arg1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arg2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arg3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arg4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arg5 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| arg6 | Test.Extrapolate.TypeBinding, 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 |
| argumentTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| arity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| background | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| bagCons | Test.Extrapolate.Core, Test.Extrapolate |
| bagsOf | Test.Extrapolate.Core, Test.Extrapolate |
| Binds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| bool | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| boolTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| candidateConditions | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
| candidateGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
| candidateHoleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
| canonicalization | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalizationWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalize | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalizeUsingHoles | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalizeUsingHolesWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalizeWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| canonicalVariations | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| cast | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| char | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| check | Test.Extrapolate.IO, Test.Extrapolate |
| checkResult | Test.Extrapolate.IO, Test.Extrapolate |
| classesFromSchemasAndVariables | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
| compareComplexity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareComplexityThenIndex | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareIndex | Test.Extrapolate.Utils |
| compareLexicographically | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareLexicographicallyBy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareQuickly | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| compareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| concatMapT | Test.Extrapolate.Core, Test.Extrapolate |
| concatT | Test.Extrapolate.Core, Test.Extrapolate |
| condEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| condEqualM | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| conditionalCounterExampleGeneralizations | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
| cons0 | Test.Extrapolate.Core, Test.Extrapolate |
| cons1 | Test.Extrapolate.Core, Test.Extrapolate |
| cons10 | Test.Extrapolate.Core, Test.Extrapolate |
| cons11 | Test.Extrapolate.Core, Test.Extrapolate |
| cons12 | Test.Extrapolate.Core, Test.Extrapolate |
| cons2 | Test.Extrapolate.Core, Test.Extrapolate |
| cons3 | Test.Extrapolate.Core, Test.Extrapolate |
| cons4 | Test.Extrapolate.Core, Test.Extrapolate |
| cons5 | Test.Extrapolate.Core, Test.Extrapolate |
| cons6 | Test.Extrapolate.Core, Test.Extrapolate |
| cons7 | Test.Extrapolate.Core, Test.Extrapolate |
| cons8 | Test.Extrapolate.Core, Test.Extrapolate |
| cons9 | Test.Extrapolate.Core, Test.Extrapolate |
| consts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| counterExample | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| counterExampleGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
| counterExamples | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| counterExampleWithGeneralizations | Test.Extrapolate.Core |
| countListTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| delay | Test.Extrapolate.Core, Test.Extrapolate |
| deleteT | Test.Extrapolate.Core, Test.Extrapolate |
| depth | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveExpress | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveExpressCascading | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveExpressIfNeeded | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveGeneralizable | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
| deriveGeneralizableCascading | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
| deriveGeneralizableIfNeeded | Test.Extrapolate.Generalizable.Derive, Test.Extrapolate |
| deriveListable | Test.Extrapolate.Core, Test.Extrapolate |
| deriveListableCascading | Test.Extrapolate.Core, Test.Extrapolate |
| deriveName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveNameCascading | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| deriveNameIfNeeded | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| double | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| eith | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| eitherEq | Test.Extrapolate.Utils |
| eitherOrd | Test.Extrapolate.Utils |
| elemBy | Test.Extrapolate.Utils |
| elementTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| encompasses | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| eqT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| equal | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| etyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| eval | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| evaluate | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| evl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| exists | Test.Extrapolate.Core, Test.Extrapolate |
| Expr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Speculation, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| expr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| Express | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| ExtraInstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| fails | Test.Extrapolate.Core, Test.Extrapolate |
| false | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| fastCandidateGeneralizations | Test.Extrapolate.Generalization, Test.Extrapolate.Core |
| fastCanonicalVariations | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| fastMostGeneralVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| fastMostSpecificVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| fill | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| filterT | Test.Extrapolate.Core, Test.Extrapolate |
| finalResultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| findValidApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| float | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| fold | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| foldApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| foldPair | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| foldr0 | Test.Extrapolate.Utils |
| foldTrio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| for | Test.Extrapolate.IO, Test.Extrapolate |
| fromLeft | Test.Extrapolate.Utils |
| fromRight | Test.Extrapolate.Utils |
| funResultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| funTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| gcast | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| gcast1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| gcast2 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| Generalizable | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| groundBinds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| grounds | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| hasCanonInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| hasHole | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| hasInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| hasVar | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| height | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| holds | Test.Extrapolate.Core, Test.Extrapolate |
| hole | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| holeAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| holeOfTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| holes | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| HRefl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| inequal | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| Instances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| instances | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| int | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| int1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| int2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| int3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| int4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| integer | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| intTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isAssignment | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isCanonical | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isCanonicalWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isCanonInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isComplete | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isConst | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isConstantNamed | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isEqOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isEqOrdT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isEqT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isFalse | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isFun | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isGround | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isHole | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isIllTyped | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isInstanceOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isListableT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isOrdT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isSubexprOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isTrue | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isValue | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isVar | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| isWellTyped | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| less | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lessOrEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| limitedResults | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| list | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| Listable | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| listEq | Test.Extrapolate.Utils |
| listIntegral | Test.Extrapolate.Core, Test.Extrapolate |
| listOrd | Test.Extrapolate.Utils |
| listsOf | Test.Extrapolate.Core, Test.Extrapolate |
| listsOfLength | Test.Extrapolate.Core, Test.Extrapolate |
| listVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| listVarsAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| listVarsWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lookupComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lookupName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lookupNames | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lookupTiers | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| lookupTiersT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapCons | Test.Extrapolate.Core, Test.Extrapolate |
| mapConsts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapSubexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapT | Test.Extrapolate.Core, Test.Extrapolate |
| mapValues | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mapVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| match | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| matchWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| MaxConditionSize | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| maximumOn | Test.Extrapolate.Utils |
| MaxTests | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| mayb | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| maybeEq | Test.Extrapolate.Utils |
| maybeHoleOfTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| maybeOrd | Test.Extrapolate.Utils |
| minimumOn | Test.Extrapolate.Utils |
| mkCompareTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonLE | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonLT | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkComparisonTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEq4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkNameWith | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd1 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd2 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd3 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrd4 | Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mkOrdLessEqual | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mostGeneralCanonicalVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mostSpecificCanonicalVariation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| mtyp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| Name | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| name | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| names | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| nat | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| natural | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| noDupListCons | Test.Extrapolate.Core, Test.Extrapolate |
| noDupListsOf | Test.Extrapolate.Core, Test.Extrapolate |
| normalizeT | Test.Extrapolate.Core, Test.Extrapolate |
| nubConsts | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| nubHoles | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| nubMerge | Test.Extrapolate.Utils |
| nubMergeBy | Test.Extrapolate.Utils |
| nubMergeMap | Test.Extrapolate.Utils |
| nubMergeOn | Test.Extrapolate.Utils |
| nubSubexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| nubValues | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| nubVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| ofWeight | Test.Extrapolate.Core, Test.Extrapolate |
| Option | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| option | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| options | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| ordering | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| orderingTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| pairEq | Test.Extrapolate.Utils |
| pairOrd | Test.Extrapolate.Utils |
| preludeInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| preludeNameInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| product3With | Test.Extrapolate.Core, Test.Extrapolate |
| productMaybeWith | Test.Extrapolate.Core, Test.Extrapolate |
| products | Test.Extrapolate.Core, Test.Extrapolate |
| property | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| Proxy | |
| 1 (Data Constructor) | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| 2 (Type/Class) | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| quadrupleEq | Test.Extrapolate.Utils |
| quadrupleOrd | Test.Extrapolate.Utils |
| rational | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| Refl | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reifyEq | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| reifyEqOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| reifyInstances | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reifyInstances1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reifyListable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reifyName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reifyOrd | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| renameVarsBy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| replaceFun | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| reset | Test.Extrapolate.Core, Test.Extrapolate |
| resultiers | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| results | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| resultTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| rnfTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| rnfTypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| setCons | Test.Extrapolate.Core, Test.Extrapolate |
| setsOf | Test.Extrapolate.Core, Test.Extrapolate |
| showExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| showOpExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| showPrecExpr | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| showsTypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| size | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| splitTyConApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| string | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| subexprs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| subInstances | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| suchThat | Test.Extrapolate.Core, Test.Extrapolate |
| takeBound | Test.Extrapolate.Utils |
| Testable | Test.Extrapolate.Testable, Test.Extrapolate.Core, Test.Extrapolate |
| testableAtoms | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableBackground | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableExtraInstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableGrounds | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableMaxConditionSize | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableMaxTests | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableMkEquation | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| testableNames | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| theoryAndReprConds | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
| Thy | Test.Extrapolate.Speculation, Test.Extrapolate.Core |
| tiers | Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| tiersFloating | Test.Extrapolate.Core, Test.Extrapolate |
| tiersFractional | Test.Extrapolate.Core, Test.Extrapolate |
| tinstances | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| toDynamic | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| toTiers | Test.Extrapolate.Core, Test.Extrapolate |
| tripleEq | Test.Extrapolate.Utils |
| tripleOrd | Test.Extrapolate.Utils |
| trueRatio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| tyArity | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| TyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| tyConFingerprint | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| tyConModule | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| tyConName | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| tyConPackage | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typ | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| Typeable | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf1 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf2 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf3 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf4 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf5 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf6 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeOf7 | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| TypeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeRep | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeRepArgs | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeRepFingerprint | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typeRepTyCon | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typesIn | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| typesInList | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| uint1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| uint4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| unand | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unComparison | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unConditionalEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| und | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| unEquation | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfold | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldApp | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldPair | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unfoldTrio | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unFunTy | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unification | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unify | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| unrepeatedVars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| val | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| validApps | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| validConditions | Test.Extrapolate.ConditionalGeneralization, Test.Extrapolate.Core |
| Value | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| value | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core, Test.Extrapolate |
| values | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| var | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| varAsTypeOf | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| variableNamesFromTemplate | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| vars | Test.Extrapolate.Expr, Test.Extrapolate.Generalization, Test.Extrapolate.Generalizable, Test.Extrapolate.Core |
| With | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| withBackground | Test.Extrapolate.IO, Test.Extrapolate |
| withConditionSize | Test.Extrapolate.IO, Test.Extrapolate |
| withInstances | Test.Extrapolate.IO |
| WithOption | Test.Extrapolate.Testable, Test.Extrapolate.Core |
| witness | Test.Extrapolate.Core, Test.Extrapolate |
| witnesses | Test.Extrapolate.Core, Test.Extrapolate |
| word1 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| word2 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| word3 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| word4 | Test.Extrapolate.TypeBinding, Test.Extrapolate |
| \/ | Test.Extrapolate.Core, Test.Extrapolate |
| \\// | Test.Extrapolate.Core, Test.Extrapolate |