| # | Hyper.Type, Hyper |
| ##>> | Hyper.Recurse |
| #*# | Hyper.Class.Nodes, Hyper |
| #**# | Hyper.Recurse |
| #> | Hyper.Class.Nodes, Hyper |
| #>> | Hyper.Recurse |
| #?> | Hyper.Class.Morph |
| :# | Hyper.Type, Hyper |
| :*: | |
| 1 (Type/Class) | Hyper |
| 2 (Data Constructor) | Hyper |
| AHyperType | |
| 1 (Type/Class) | Hyper.Type, Hyper |
| 2 (Data Constructor) | Hyper.Type, Hyper |
| alphaEq | Hyper.Syntax.Scheme.AlphaEq |
| Ann | |
| 1 (Type/Class) | Hyper.Combinator.Ann, Hyper |
| 2 (Data Constructor) | Hyper.Combinator.Ann, Hyper |
| annContexts | Hyper.Class.Context |
| Annotated | Hyper.Combinator.Ann, Hyper |
| annotation | Hyper.Combinator.Ann, Hyper |
| anns | Hyper.Diff |
| annValue | Hyper.Combinator.Ann, Hyper |
| ANode | Hyper.Combinator.ANode, Hyper |
| App | |
| 1 (Type/Class) | Hyper.Syntax.App, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.App, Hyper.Syntax |
| appArg | Hyper.Syntax.App, Hyper.Syntax |
| appFunc | Hyper.Syntax.App, Hyper.Syntax |
| applyBindings | Hyper.Class.Unify, Hyper.Unify |
| asHyper | Hyper.Type, Hyper |
| Binding | |
| 1 (Type/Class) | Hyper.Unify.Binding |
| 2 (Data Constructor) | Hyper.Unify.Binding |
| binding | Hyper.Class.Unify, Hyper.Unify |
| BindingDict | |
| 1 (Type/Class) | Hyper.Class.Unify, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Class.Unify, Hyper.Unify |
| bindingDict | Hyper.Unify.Binding |
| bindVar | Hyper.Class.Unify, Hyper.Unify |
| blamableRecursive | Hyper.Infer.Blame |
| Blame | Hyper.Infer.Blame |
| blame | Hyper.Infer.Blame |
| BlameResult | Hyper.Infer.Blame |
| CommonBody | |
| 1 (Type/Class) | Hyper.Diff |
| 2 (Data Constructor) | Hyper.Diff |
| CommonBodyP | Hyper.Diff |
| CommonSubTree | Hyper.Diff |
| CommonSubTreeP | Hyper.Diff |
| Const | |
| 1 (Data Constructor) | Hyper |
| 2 (Type/Class) | Hyper |
| Constraint | Hyper |
| ConstraintsViolation | Hyper.Unify.Error, Hyper.Unify |
| ContainedH | Hyper.Class.Traversable |
| decompose | Hyper.Combinator.Compose |
| decompose' | Hyper.Combinator.Compose |
| DefRecMethod | Hyper.Class.Recursive, Hyper.Recurse |
| Dict | |
| 1 (Data Constructor) | Hyper |
| 2 (Type/Class) | Hyper |
| Diff | Hyper.Diff |
| diff | Hyper.Diff |
| Different | Hyper.Diff |
| DifferentP | Hyper.Diff |
| DiffP | Hyper.Diff |
| diffP | Hyper.Diff |
| eKey | Hyper.Syntax.Row |
| emptyBinding | Hyper.Unify.Binding |
| eRest | Hyper.Syntax.Row |
| eVal | Hyper.Syntax.Row |
| E_GTerm_v | Hyper.Unify.Generalize |
| F | |
| 1 (Type/Class) | Hyper.Type.Functor |
| 2 (Data Constructor) | Hyper.Type.Functor |
| FlatRowExtends | |
| 1 (Type/Class) | Hyper.Syntax.Row |
| 2 (Data Constructor) | Hyper.Syntax.Row |
| flattenRow | Hyper.Syntax.Row |
| flattenRowExtend | Hyper.Syntax.Row |
| fold | Hyper.Recurse |
| foldDiffs | Hyper.Diff |
| foldDiffsP | Hyper.Diff |
| foldMapRecursive | Hyper.Recurse |
| forbidden | Hyper.Syntax.Row |
| freExtends | Hyper.Syntax.Row |
| freRest | Hyper.Syntax.Row |
| FromNom | |
| 1 (Type/Class) | Hyper.Syntax.Nominal |
| 2 (Data Constructor) | Hyper.Syntax.Nominal |
| funcIn | Hyper.Syntax.FuncType, Hyper.Syntax |
| funcOut | Hyper.Syntax.FuncType, Hyper.Syntax |
| FuncType | |
| 1 (Type/Class) | Hyper.Syntax.FuncType, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.FuncType, Hyper.Syntax |
| GBody | Hyper.Unify.Generalize |
| generalize | Hyper.Unify.Generalize |
| generalizeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| Generic | Hyper |
| getConst | Hyper |
| getHCompose | Hyper.Combinator.Compose, Hyper |
| GetHyperType | Hyper.Type, Hyper |
| getNominalDecl | Hyper.Syntax.Nominal |
| getScope | Hyper.Syntax.Var, Hyper.Syntax |
| GMono | Hyper.Unify.Generalize |
| Good | Hyper.Infer.Blame |
| GPoly | Hyper.Unify.Generalize |
| GTerm | Hyper.Unify.Generalize |
| hAnn | Hyper.Combinator.Ann, Hyper |
| HApplicative | Hyper.Class.Apply, Hyper |
| HApply | Hyper.Class.Apply, Hyper |
| HasHPlain | Hyper.Class.HasPlain, Hyper |
| HasInferredType | Hyper.Class.Infer.InferOf, Hyper.Infer |
| HasInferredValue | Hyper.Class.Infer.InferOf, Hyper.Infer |
| HasNominalInst | Hyper.Syntax.Nominal |
| HasQuantifiedVar | Hyper.Unify.QuantifiedVar |
| HasScheme | Hyper.Syntax.Scheme |
| hasSchemeRecursive | Hyper.Syntax.Scheme |
| HasScope | Hyper.Syntax.Var, Hyper.Syntax |
| HasTypeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| hbind | Hyper.Class.Monad |
| HCompose | |
| 1 (Type/Class) | Hyper.Combinator.Compose, Hyper |
| 2 (Data Constructor) | Hyper.Combinator.Compose, Hyper |
| HComposeConstraint1 | Hyper.Combinator.Compose |
| hcomposed | Hyper.Combinator.Compose, Hyper |
| HContext | Hyper.Class.Context |
| hcontext | Hyper.Class.Context |
| HFlip | Hyper.Combinator.Flip, Hyper |
| hflipped | Hyper.Combinator.Flip, Hyper |
| HFoldable | Hyper.Class.Foldable, Hyper |
| hfolded1 | Hyper.Class.Foldable, Hyper |
| hfoldMap | Hyper.Class.Foldable, Hyper |
| HFunc | |
| 1 (Type/Class) | Hyper.Combinator.Func, Hyper |
| 2 (Data Constructor) | Hyper.Combinator.Func, Hyper |
| HFunctor | Hyper.Class.Functor, Hyper |
| HIs2 | Hyper.Class.Morph |
| hiso | Hyper.Class.Functor |
| hjoin | Hyper.Class.Monad |
| hLiftConstraint | Hyper.Class.Nodes, Hyper |
| hmap | Hyper.Class.Functor, Hyper |
| hmapped1 | Hyper.Class.Functor, Hyper |
| HMonad | Hyper.Class.Monad |
| HMorph | Hyper.Class.Morph |
| HMorphWithConstraint | Hyper.Class.Morph |
| HNodeLens | Hyper.Class.Optic |
| hNodeLens | Hyper.Class.Optic |
| HNodes | Hyper.Class.Nodes, Hyper |
| HNodesConstraint | Hyper.Class.Nodes, Hyper, Hyper |
| HNodesHaveConstraint | Hyper.Class.Nodes |
| hNodesHaveConstraint | Hyper.Class.Nodes |
| HPlain | Hyper.Class.HasPlain, Hyper, Hyper |
| hPlain | Hyper.Class.HasPlain, Hyper |
| HPointed | Hyper.Class.Pointed, Hyper |
| hpure | Hyper.Class.Pointed, Hyper |
| HRecSelf | Hyper.Recurse |
| HRecSub | Hyper.Recurse |
| HRecWitness | Hyper.Recurse |
| hsequence | Hyper.Class.Traversable, Hyper |
| HSubset | Hyper.Class.Optic |
| hSubset | Hyper.Class.Optic |
| HSubset' | Hyper.Class.Optic |
| HTraversable | Hyper.Class.Traversable, Hyper |
| htraverse | Hyper.Class.Traversable, Hyper |
| htraverse1 | Hyper.Class.Traversable, Hyper |
| htraverse1_ | Hyper.Class.Foldable, Hyper |
| htraverseFlipped | Hyper.Combinator.Flip, Hyper |
| htraverse_ | Hyper.Class.Foldable, Hyper |
| hVal | Hyper.Combinator.Ann, Hyper |
| HWitness | |
| 1 (Type/Class) | Hyper.Class.Nodes, Hyper |
| 2 (Data Constructor) | Hyper.Class.Nodes, Hyper |
| HWitnessType | Hyper.Class.Nodes, Hyper, Hyper |
| HyperType | Hyper.Type, Hyper |
| hzip | Hyper.Class.Apply, Hyper |
| Infer | Hyper.Class.Infer, Hyper.Infer |
| infer | Hyper.Infer |
| inferBody | Hyper.Class.Infer, Hyper.Infer |
| InferChild | |
| 1 (Type/Class) | Hyper.Class.Infer, Hyper.Infer |
| 2 (Data Constructor) | Hyper.Class.Infer, Hyper.Infer |
| inferChild | Hyper.Class.Infer, Hyper.Infer |
| inferContext | Hyper.Class.Infer, Hyper.Infer |
| inferH | Hyper.Infer |
| InferOf | Hyper.Class.Infer, Hyper.Infer |
| InferOf' | Hyper.Infer.Blame |
| InferOfConstraint | Hyper.Class.Infer.InferOf, Hyper.Infer |
| inferOfConstraint | Hyper.Class.Infer.InferOf, Hyper.Infer |
| inferOfMatches | Hyper.Infer.Blame |
| inferOfUnify | Hyper.Infer.Blame |
| InferredChild | |
| 1 (Type/Class) | Hyper.Class.Infer, Hyper.Infer |
| 2 (Data Constructor) | Hyper.Class.Infer, Hyper.Infer |
| inferredType | Hyper.Class.Infer.InferOf, Hyper.Infer |
| inferredValue | Hyper.Class.Infer.InferOf, Hyper.Infer |
| InferResult | |
| 1 (Type/Class) | Hyper.Infer.Result, Hyper.Infer |
| 2 (Data Constructor) | Hyper.Infer.Result, Hyper.Infer |
| inferResult | Hyper.Infer.Result, Hyper.Infer |
| InferResultsConstraint | Hyper.Infer |
| inferType | Hyper.Syntax.Scheme |
| inferUVarsApplyBindings | Hyper.Infer |
| inRep | Hyper.Class.Infer, Hyper.Infer |
| instantiate | Hyper.Unify.Generalize |
| instantiateForAll | Hyper.Unify.Generalize |
| instantiateH | Hyper.Unify.Generalize |
| instantiateWith | Hyper.Unify.Generalize |
| inType | Hyper.Class.Infer, Hyper.Infer |
| Lam | |
| 1 (Type/Class) | Hyper.Syntax.Lam, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.Lam, Hyper.Syntax |
| lamIn | Hyper.Syntax.Lam, Hyper.Syntax |
| lamOut | Hyper.Syntax.Lam, Hyper.Syntax |
| Let | |
| 1 (Type/Class) | Hyper.Syntax.Let, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.Let, Hyper.Syntax |
| letEquals | Hyper.Syntax.Let, Hyper.Syntax |
| letIn | Hyper.Syntax.Let, Hyper.Syntax |
| letVar | Hyper.Syntax.Let, Hyper.Syntax |
| liftH2 | Hyper.Class.Apply, Hyper |
| load | Hyper.Unify.Binding.ST.Load |
| LoadedNominalDecl | Hyper.Syntax.Nominal |
| loadNominalDecl | Hyper.Syntax.Nominal |
| loadScheme | Hyper.Syntax.Scheme |
| localInstantiations | Hyper.Syntax.Scheme |
| localLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| LocalScopeType | Hyper.Class.Infer.Env, Hyper.Infer |
| localScopeType | Hyper.Class.Infer.Env, Hyper.Infer |
| lookupQVar | Hyper.Syntax.Scheme |
| lookupVar | Hyper.Class.Unify, Hyper.Unify |
| makeHApplicativeBases | Hyper.TH.Apply, Hyper |
| makeHApply | Hyper.TH.Apply |
| makeHApplyAndBases | Hyper.TH.Apply |
| makeHasHPlain | Hyper.TH.HasPlain, Hyper |
| makeHContext | Hyper.TH.Context, Hyper |
| makeHFoldable | Hyper.TH.Foldable |
| makeHFunctor | Hyper.TH.Functor |
| makeHMorph | Hyper.TH.Morph, Hyper |
| makeHNodes | Hyper.TH.Nodes |
| makeHPointed | Hyper.TH.Pointed |
| makeHTraversable | Hyper.TH.Traversable |
| makeHTraversableAndBases | Hyper.TH.Traversable, Hyper |
| makeHTraversableAndFoldable | Hyper.TH.Traversable |
| makeHTraversableApplyAndBases | Hyper.TH.Traversable, Hyper |
| makeQVarInstances | Hyper.Syntax.Scheme |
| makeZipMatch | Hyper.TH.ZipMatch, Hyper |
| Mismatch | |
| 1 (Data Constructor) | Hyper.Unify.Error, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Infer.Blame |
| MkANode | Hyper.Combinator.ANode, Hyper |
| MkCommonBody | Hyper.Diff |
| MkContainedH | Hyper.Class.Traversable |
| MkHFlip | Hyper.Combinator.Flip, Hyper |
| MonadInstantiate | Hyper.Syntax.Scheme |
| MonadNominals | Hyper.Syntax.Nominal |
| MonadQuantify | Hyper.Unify.QuantifiedVar |
| MonadScopeLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| MorphConstraint | Hyper.Class.Morph |
| morphLiftConstraint | Hyper.Class.Morph |
| morphMap | Hyper.Class.Morph |
| morphMapped1 | Hyper.Class.Morph |
| morphTraverse | Hyper.Class.Morph |
| morphTraverse1 | Hyper.Class.Morph |
| MorphWitness | Hyper.Class.Morph, Hyper.Combinator.ANode, Hyper, Hyper.Syntax.Map, Hyper.Syntax.FuncType, Hyper.Syntax.Row, Hyper.Syntax.TypedLam, Hyper.Syntax.Let, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_ANode | Hyper.Combinator.ANode, Hyper, Hyper.Syntax.Map, Hyper.Syntax.FuncType, Hyper.Syntax.Row, Hyper.Syntax.TypedLam, Hyper.Syntax.Let, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_App_expr | Hyper.Syntax.App, Hyper.Syntax |
| M_FuncType_typ | Hyper.Syntax.FuncType, Hyper.Syntax.Lam, Hyper.Syntax.App, Hyper.Syntax |
| M_Lam_expr | Hyper.Syntax.Lam, Hyper.Syntax |
| M_Let_expr | Hyper.Syntax.Let, Hyper.Syntax |
| M_RowExtend_rest | Hyper.Syntax.Row |
| M_RowExtend_val | Hyper.Syntax.Row |
| M_TermMap_expr | Hyper.Syntax.Map |
| M_TypedLam_expr | Hyper.Syntax.TypedLam, Hyper.Syntax |
| M_TypedLam_typ | Hyper.Syntax.TypedLam, Hyper.Syntax |
| nArgs | Hyper.Syntax.Nominal |
| newQuantifiedVariable | Hyper.Unify.QuantifiedVar |
| newTerm | Hyper.Unify.New |
| newUnbound | Hyper.Unify.New |
| newVar | Hyper.Class.Unify, Hyper.Unify |
| nId | Hyper.Syntax.Nominal |
| NominalDecl | |
| 1 (Type/Class) | Hyper.Syntax.Nominal |
| 2 (Data Constructor) | Hyper.Syntax.Nominal |
| NominalInst | |
| 1 (Type/Class) | Hyper.Syntax.Nominal |
| 2 (Data Constructor) | Hyper.Syntax.Nominal |
| nominalInst | Hyper.Syntax.Nominal |
| NomVarTypes | Hyper.Syntax.Nominal |
| nParams | Hyper.Syntax.Nominal |
| nScheme | Hyper.Syntax.Nominal |
| Occurs | Hyper.Unify.Error, Hyper.Unify |
| occursCheck | Hyper.Unify.Occurs |
| occursError | Hyper.Class.Unify, Hyper.Unify |
| OrdQVar | Hyper.Unify.QuantifiedVar |
| Proxy | |
| 1 (Data Constructor) | Hyper |
| 2 (Type/Class) | Hyper |
| proxyArgument | Hyper.Class.Recursive, Hyper.Recurse |
| Prune | Hyper.Type.Prune |
| Pruned | Hyper.Type.Prune |
| Pure | |
| 1 (Type/Class) | Hyper.Type.Pure, Hyper |
| 2 (Data Constructor) | Hyper.Type.Pure, Hyper |
| quantifiedVar | Hyper.Unify.QuantifiedVar |
| QVar | Hyper.Unify.QuantifiedVar |
| QVarInstances | |
| 1 (Type/Class) | Hyper.Syntax.Scheme |
| 2 (Data Constructor) | Hyper.Syntax.Scheme |
| QVars | |
| 1 (Type/Class) | Hyper.Syntax.Scheme |
| 2 (Data Constructor) | Hyper.Syntax.Scheme |
| RecMethod | Hyper.Class.Recursive, Hyper.Recurse |
| recurse | Hyper.Class.Recursive, Hyper.Recurse |
| Recursive | Hyper.Class.Recursive, Hyper.Recurse |
| recursiveContexts | Hyper.Class.Context |
| recursiveHNodes | Hyper.Class.Recursive, Hyper.Recurse |
| recursiveHTraversable | Hyper.Class.Recursive, Hyper.Recurse |
| Recursively | Hyper.Class.Recursive, Hyper.Recurse, Hyper |
| recursively | Hyper.Class.Recursive, Hyper.Recurse, Hyper |
| RNodes | Hyper.Class.Recursive, Hyper.Recurse, Hyper |
| RowConstraints | Hyper.Syntax.Row |
| RowConstraintsKey | Hyper.Syntax.Row |
| rowElementInfer | Hyper.Syntax.Row |
| RowExtend | |
| 1 (Type/Class) | Hyper.Syntax.Row |
| 2 (Data Constructor) | Hyper.Syntax.Row |
| rowExtendStructureMismatch | Hyper.Syntax.Row |
| RowKey | Hyper.Syntax.Row |
| RTraversable | Hyper.Class.Recursive, Hyper.Recurse, Hyper |
| runContainedH | Hyper.Class.Traversable |
| save | Hyper.Unify.Binding.Save |
| saveScheme | Hyper.Syntax.Scheme |
| Scheme | |
| 1 (Type/Class) | Hyper.Syntax.Scheme |
| 2 (Data Constructor) | Hyper.Syntax.Scheme |
| scopeConstraints | Hyper.Class.Unify, Hyper.Unify |
| ScopeLevel | |
| 1 (Type/Class) | Hyper.Infer.ScopeLevel, Hyper.Infer |
| 2 (Data Constructor) | Hyper.Infer.ScopeLevel, Hyper.Infer |
| ScopeOf | Hyper.Syntax.Var, Hyper.Syntax |
| semiPruneLookup | Hyper.Class.Unify, Hyper.Unify |
| sForAlls | Hyper.Syntax.Scheme |
| SkolemEscape | Hyper.Unify.Error, Hyper.Unify |
| SkolemUnified | Hyper.Unify.Error, Hyper.Unify |
| stBinding | Hyper.Unify.Binding.ST |
| structureMismatch | Hyper.Class.Unify, Hyper.Unify |
| STUVar | |
| 1 (Type/Class) | Hyper.Unify.Binding.ST |
| 2 (Data Constructor) | Hyper.Unify.Binding.ST |
| sTyp | Hyper.Syntax.Scheme |
| TermMap | |
| 1 (Type/Class) | Hyper.Syntax.Map |
| 2 (Data Constructor) | Hyper.Syntax.Map |
| tlIn | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tlInType | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tlOut | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tnId | Hyper.Syntax.Nominal |
| tnVal | Hyper.Syntax.Nominal |
| ToNom | |
| 1 (Type/Class) | Hyper.Syntax.Nominal |
| 2 (Data Constructor) | Hyper.Syntax.Nominal |
| toScopeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| tsTerm | Hyper.Syntax.TypeSig, Hyper.Syntax |
| tsType | Hyper.Syntax.TypeSig, Hyper.Syntax |
| TypeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| TypeConstraintsOf | Hyper.Unify.Constraints, Hyper.Unify, Hyper.Unify |
| TypedLam | |
| 1 (Type/Class) | Hyper.Syntax.TypedLam, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.TypedLam, Hyper.Syntax |
| TypeOf | Hyper.Class.Infer.InferOf, Hyper.Infer, Hyper.Infer |
| TypeSig | |
| 1 (Type/Class) | Hyper.Syntax.TypeSig, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.TypeSig, Hyper.Syntax |
| uBody | Hyper.Unify.Term |
| uConstraints | Hyper.Unify.Term |
| UConverted | Hyper.Unify.Term |
| UInstantiated | Hyper.Unify.Term |
| unflattenRow | Hyper.Syntax.Row |
| unfold | Hyper.Recurse |
| unfreeze | Hyper.Unify.New |
| Unify | Hyper.Class.Unify, Hyper.Unify |
| unify | Hyper.Unify |
| UnifyError | Hyper.Unify.Error, Hyper.Unify |
| unifyError | Hyper.Class.Unify, Hyper.Unify |
| UnifyGen | Hyper.Class.Unify, Hyper.Unify |
| unifyGenRecursive | Hyper.Class.Unify, Hyper.Unify |
| unifyRecursive | Hyper.Class.Unify, Hyper.Unify |
| unifyUnbound | Hyper.Unify |
| unifyUTerms | Hyper.Unify |
| Unpruned | Hyper.Type.Prune |
| unwrap | Hyper.Recurse |
| unwrapM | Hyper.Recurse |
| updateConstraints | Hyper.Unify |
| updateTermConstraints | Hyper.Unify |
| updateTermConstraintsH | Hyper.Unify |
| UResolved | Hyper.Unify.Term |
| UResolving | Hyper.Unify.Term |
| USkolem | Hyper.Unify.Term |
| UTerm | |
| 1 (Type/Class) | Hyper.Unify.Term |
| 2 (Data Constructor) | Hyper.Unify.Term |
| UTermBody | |
| 1 (Type/Class) | Hyper.Unify.Term |
| 2 (Data Constructor) | Hyper.Unify.Term |
| UToVar | Hyper.Unify.Term |
| UUnbound | Hyper.Unify.Term |
| UVar | |
| 1 (Type/Class) | Hyper.Unify.Binding, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Unify.Binding |
| UVarOf | Hyper.Class.Unify, Hyper.Unify |
| val | Hyper.Diff |
| Var | |
| 1 (Type/Class) | Hyper.Syntax.Var, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.Var, Hyper.Syntax |
| VarType | Hyper.Syntax.Var, Hyper.Syntax |
| varType | Hyper.Syntax.Var, Hyper.Syntax |
| verifyConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| verifyRowExtendConstraints | Hyper.Syntax.Row |
| wcBody | Hyper.Unify.Constraints, Hyper.Unify |
| wcConstraint | Hyper.Unify.Constraints, Hyper.Unify |
| WithConstraint | |
| 1 (Type/Class) | Hyper.Unify.Constraints, Hyper.Unify |
| 2 (Data Constructor) | Hyper.Unify.Constraints, Hyper.Unify |
| withDict | Hyper |
| wrap | Hyper.Recurse |
| wrapM | Hyper.Recurse |
| W_ANode | Hyper.Combinator.ANode, Hyper |
| W_ANode_c | Hyper.Combinator.ANode, Hyper |
| W_App | Hyper.Syntax.App, Hyper.Syntax |
| W_App_expr | Hyper.Syntax.App, Hyper.Syntax |
| W_F | Hyper.Type.Functor |
| W_FlatRowExtends | Hyper.Syntax.Row |
| W_FlatRowExtends_rest | Hyper.Syntax.Row |
| W_FlatRowExtends_val | Hyper.Syntax.Row |
| W_FuncType | Hyper.Syntax.FuncType, Hyper.Syntax |
| W_FuncType_typ | Hyper.Syntax.FuncType, Hyper.Syntax |
| W_F_F_f | Hyper.Type.Functor |
| W_GTerm | Hyper.Unify.Generalize |
| W_GTerm_GTerm_v | Hyper.Unify.Generalize |
| W_HCompose | |
| 1 (Type/Class) | Hyper.Combinator.Compose |
| 2 (Data Constructor) | Hyper.Combinator.Compose |
| W_Lam | Hyper.Syntax.Lam, Hyper.Syntax |
| W_Lam_expr | Hyper.Syntax.Lam, Hyper.Syntax |
| W_Let | Hyper.Syntax.Let, Hyper.Syntax |
| W_Let_expr | Hyper.Syntax.Let, Hyper.Syntax |
| W_NominalDecl | Hyper.Syntax.Nominal |
| W_NominalDecl_typ | Hyper.Syntax.Nominal |
| W_Prune | Hyper.Type.Prune |
| W_Prune_Prune | Hyper.Type.Prune |
| W_Pure | Hyper.Type.Pure, Hyper |
| W_Pure_Pure | Hyper.Type.Pure, Hyper |
| W_RowExtend | Hyper.Syntax.Row |
| W_RowExtend_rest | Hyper.Syntax.Row |
| W_RowExtend_val | Hyper.Syntax.Row |
| W_Scheme | Hyper.Syntax.Scheme |
| W_Scheme_typ | Hyper.Syntax.Scheme |
| W_TermMap | Hyper.Syntax.Map |
| W_TermMap_expr | Hyper.Syntax.Map |
| W_ToNom | Hyper.Syntax.Nominal |
| W_ToNom_term | Hyper.Syntax.Nominal |
| W_TypedLam | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypedLam_expr | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypedLam_typ | Hyper.Syntax.TypedLam, Hyper.Syntax |
| W_TypeSig | Hyper.Syntax.TypeSig, Hyper.Syntax |
| W_TypeSig_Scheme_vars_TypeOf_term | Hyper.Syntax.TypeSig, Hyper.Syntax |
| W_TypeSig_term | Hyper.Syntax.TypeSig, Hyper.Syntax |
| ZipMatch | Hyper.Class.ZipMatch |
| zipMatch | Hyper.Class.ZipMatch |
| zipMatch1_ | Hyper.Class.ZipMatch |
| zipMatch2 | Hyper.Class.ZipMatch |
| zipMatchA | Hyper.Class.ZipMatch |
| zipMatch_ | Hyper.Class.ZipMatch |
| _anns | Hyper.Diff |
| _ANode | Hyper.Combinator.ANode, Hyper |
| _appArg | Hyper.Syntax.App, Hyper.Syntax |
| _appFunc | Hyper.Syntax.App, Hyper.Syntax |
| _Binding | Hyper.Unify.Binding |
| _CommonBody | Hyper.Diff |
| _CommonBodyP | Hyper.Diff |
| _CommonSubTree | Hyper.Diff |
| _CommonSubTreeP | Hyper.Diff |
| _ConstraintsViolation | Hyper.Unify.Error |
| _ContainedH | Hyper.Class.Traversable |
| _Different | Hyper.Diff |
| _DifferentP | Hyper.Diff |
| _eKey | Hyper.Syntax.Row |
| _eRest | Hyper.Syntax.Row |
| _eVal | Hyper.Syntax.Row |
| _F | Hyper.Type.Functor |
| _freExtends | Hyper.Syntax.Row |
| _freRest | Hyper.Syntax.Row |
| _FromNom | Hyper.Syntax.Nominal |
| _funcIn | Hyper.Syntax.FuncType, Hyper.Syntax |
| _funcOut | Hyper.Syntax.FuncType, Hyper.Syntax |
| _GBody | Hyper.Unify.Generalize |
| _GMono | Hyper.Unify.Generalize |
| _Good | Hyper.Infer.Blame |
| _GPoly | Hyper.Unify.Generalize |
| _hAnn | Hyper.Combinator.Ann, Hyper |
| _HCompose | Hyper.Combinator.Compose, Hyper |
| _HFlip | Hyper.Combinator.Flip, Hyper |
| _HFunc | Hyper.Combinator.Func, Hyper |
| _hVal | Hyper.Combinator.Ann, Hyper |
| _HWitness | Hyper.Class.Nodes, Hyper |
| _InferChild | Hyper.Class.Infer, Hyper.Infer |
| _InferResult | Hyper.Infer.Result, Hyper.Infer |
| _inRep | Hyper.Class.Infer, Hyper.Infer |
| _inType | Hyper.Class.Infer, Hyper.Infer |
| _lamIn | Hyper.Syntax.Lam, Hyper.Syntax |
| _lamOut | Hyper.Syntax.Lam, Hyper.Syntax |
| _letEquals | Hyper.Syntax.Let, Hyper.Syntax |
| _letIn | Hyper.Syntax.Let, Hyper.Syntax |
| _letVar | Hyper.Syntax.Let, Hyper.Syntax |
| _Mismatch | |
| 1 (Function) | Hyper.Unify.Error |
| 2 (Function) | Hyper.Infer.Blame |
| _nArgs | Hyper.Syntax.Nominal |
| _nId | Hyper.Syntax.Nominal |
| _nParams | Hyper.Syntax.Nominal |
| _nScheme | Hyper.Syntax.Nominal |
| _Occurs | Hyper.Unify.Error |
| _Pruned | Hyper.Type.Prune |
| _Pure | Hyper.Type.Pure, Hyper |
| _QVarInstances | Hyper.Syntax.Scheme |
| _QVars | Hyper.Syntax.Scheme |
| _ScopeLevel | Hyper.Infer.ScopeLevel, Hyper.Infer |
| _sForAlls | Hyper.Syntax.Scheme |
| _SkolemEscape | Hyper.Unify.Error |
| _SkolemUnified | Hyper.Unify.Error |
| _STUVar | Hyper.Unify.Binding.ST |
| _sTyp | Hyper.Syntax.Scheme |
| _TermMap | Hyper.Syntax.Map |
| _tlIn | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tlInType | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tlOut | Hyper.Syntax.TypedLam, Hyper.Syntax |
| _tnId | Hyper.Syntax.Nominal |
| _tnVal | Hyper.Syntax.Nominal |
| _tsTerm | Hyper.Syntax.TypeSig, Hyper.Syntax |
| _tsType | Hyper.Syntax.TypeSig, Hyper.Syntax |
| _uBody | Hyper.Unify.Term |
| _uConstraints | Hyper.Unify.Term |
| _UConverted | Hyper.Unify.Term |
| _UInstantiated | Hyper.Unify.Term |
| _Unpruned | Hyper.Type.Prune |
| _UResolved | Hyper.Unify.Term |
| _UResolving | Hyper.Unify.Term |
| _USkolem | Hyper.Unify.Term |
| _UTerm | Hyper.Unify.Term |
| _UToVar | Hyper.Unify.Term |
| _UUnbound | Hyper.Unify.Term |
| _UVar | Hyper.Unify.Binding |
| _val | Hyper.Diff |
| _Var | Hyper.Syntax.Var, Hyper.Syntax |
| _wcBody | Hyper.Unify.Constraints, Hyper.Unify |
| _wcConstraint | Hyper.Unify.Constraints, Hyper.Unify |