| # | AST.Knot, AST |
| ##>> | AST.Recurse |
| #*# | AST.Class.Nodes, AST |
| #**# | AST.Recurse |
| #> | AST.Class.Nodes, AST |
| #>> | AST.Recurse |
| &# | AST.Knot.Pure, AST |
| addAnnotations | AST.Knot.Ann |
| alphaEq | AST.Term.Scheme.AlphaEq |
| Ann | |
| 1 (Type/Class) | AST.Knot.Ann, AST |
| 2 (Data Constructor) | AST.Knot.Ann, AST |
| ann | AST.Knot.Ann, AST |
| annotations | AST.Knot.Ann, AST |
| anns | AST.Diff |
| ANode | AST.Combinator.ANode, AST |
| App | |
| 1 (Type/Class) | AST.Term.App |
| 2 (Data Constructor) | AST.Term.App |
| appArg | AST.Term.App |
| appChildren | AST.Term.App |
| appFunc | AST.Term.App |
| applyBindings | AST.Unify.Apply |
| arbitraryCtx | AST.Knot.Ann.Arbitrary |
| ArbitraryWithContext | AST.Knot.Ann.Arbitrary |
| ArbitraryWithContextOf | AST.Knot.Ann.Arbitrary |
| asTree | AST.Knot, AST |
| bAnn | AST.Infer.Blame |
| Binding | |
| 1 (Type/Class) | AST.Unify.Binding |
| 2 (Data Constructor) | AST.Unify.Binding |
| binding | AST.Class.Unify, AST.Unify |
| BindingDict | |
| 1 (Type/Class) | AST.Class.Unify, AST.Unify |
| 2 (Data Constructor) | AST.Class.Unify, AST.Unify |
| bindingDict | AST.Unify.Binding |
| bindK | AST.Class.Monad |
| bindVar | AST.Class.Unify, AST.Unify |
| blamableRecursive | AST.Infer.Blame |
| Blame | AST.Infer.Blame |
| blame | AST.Infer.Blame |
| bRes | AST.Infer.Blame |
| BTerm | |
| 1 (Type/Class) | AST.Infer.Blame |
| 2 (Data Constructor) | AST.Infer.Blame |
| bTermToAnn | AST.Infer.Blame |
| bVal | AST.Infer.Blame |
| CommonBody | |
| 1 (Type/Class) | AST.Diff |
| 2 (Data Constructor) | AST.Diff |
| CommonBodyP | AST.Diff |
| CommonSubTree | AST.Diff |
| CommonSubTreeP | AST.Diff |
| Compose | AST.Combinator.Compose |
| ConstraintsViolation | AST.Unify.Error, AST.Unify |
| ContainedK | AST.Class.Traversable |
| Context | AST.Knot.Ann.Arbitrary |
| DeBruijnIndex | AST.Term.NamelessScope |
| deBruijnIndex | AST.Term.NamelessScope |
| deBruijnIndexMax | AST.Term.NamelessScope.InvDeBruijn |
| Diff | AST.Diff |
| diff | AST.Diff |
| Different | AST.Diff |
| DifferentP | AST.Diff |
| DiffP | AST.Diff |
| diffP | AST.Diff |
| eKey | AST.Term.Row |
| emptyBinding | AST.Unify.Binding |
| EmptyScope | AST.Term.NamelessScope |
| eRest | AST.Term.Row |
| eVal | AST.Term.Row |
| E_Flip_GTerm | AST.Unify.Generalize, AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal |
| E_LoadedNominalDecl_Body | AST.Term.Nominal |
| E_LoadedNominalDecl_NomVarTypes | AST.Term.Nominal |
| E_NominalDecl_Scheme_NomVarTypes_typ_typ | AST.Term.Nominal |
| E_NominalInst_k | AST.Term.Nominal |
| E_Product_a | AST.Class.Nodes |
| E_Product_b | AST.Class.Nodes |
| E_Sum_a | AST.Class.Nodes |
| E_Sum_b | AST.Class.Nodes |
| F | |
| 1 (Type/Class) | AST.Knot.Functor |
| 2 (Data Constructor) | AST.Knot.Functor |
| FlatRowExtends | |
| 1 (Type/Class) | AST.Term.Row |
| 2 (Data Constructor) | AST.Term.Row |
| flattenRow | AST.Term.Row |
| flattenRowExtend | AST.Term.Row |
| Flip | AST.Combinator.Flip |
| fold | AST.Recurse |
| foldDiffs | AST.Diff |
| foldDiffsP | AST.Diff |
| foldMapK | AST.Class.Foldable, AST |
| foldMapK1 | AST.Class.Foldable |
| foldMapRecursive | AST.Recurse |
| forbidden | AST.Term.Row |
| freExtends | AST.Term.Row |
| freRest | AST.Term.Row |
| FromNom | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| funcIn | AST.Term.FuncType |
| funcOut | AST.Term.FuncType |
| FuncType | |
| 1 (Type/Class) | AST.Term.FuncType |
| 2 (Data Constructor) | AST.Term.FuncType |
| funcType | AST.Term.FuncType |
| GBody | AST.Unify.Generalize |
| generalize | AST.Unify.Generalize |
| generalizeConstraints | AST.Unify.Constraints, AST.Unify |
| getChild | AST.Class.Has |
| getCompose | AST.Combinator.Compose |
| GetKnot | AST.Knot, AST |
| getNominalDecl | AST.Term.Nominal |
| getScope | AST.Term.Var |
| GMono | AST.Unify.Generalize |
| GPoly | AST.Unify.Generalize |
| GTerm | AST.Unify.Generalize |
| HasChild | AST.Class.Has |
| HasFuncType | AST.Term.FuncType |
| HasInferOf1 | AST.Class.Infer.Infer1 |
| hasInferOf1 | AST.Class.Infer.Infer1 |
| HasInferredType | AST.Class.Infer.InferOf, AST.Infer |
| HasInferredValue | AST.Class.Infer.InferOf, AST.Infer |
| HasNominalInst | AST.Term.Nominal |
| HasQuantifiedVar | AST.Unify.QuantifiedVar |
| HasScheme | AST.Term.Scheme |
| hasSchemeRecursive | AST.Term.Scheme |
| HasScope | AST.Term.Var |
| HasScopeTypes | AST.Term.NamelessScope |
| HasTypeConstraints | AST.Unify.Constraints, AST.Unify |
| HasTypeOf1 | AST.Class.Infer.Infer1 |
| iAnn | AST.Infer.Term, AST.Infer |
| iAnnotations | AST.Infer.Term, AST.Infer |
| Infer | AST.Class.Infer, AST.Infer |
| infer | AST.Infer |
| Infer1 | AST.Class.Infer.Infer1 |
| inferBody | AST.Class.Infer, AST.Infer |
| InferChild | |
| 1 (Type/Class) | AST.Class.Infer, AST.Infer |
| 2 (Data Constructor) | AST.Class.Infer, AST.Infer |
| inferChild | AST.Class.Infer, AST.Infer |
| inferContext | AST.Class.Infer, AST.Infer |
| inferH | AST.Infer |
| inferMonad | AST.Class.Infer.Infer1 |
| InferOf | AST.Class.Infer, AST.Infer |
| InferOf' | AST.Infer.Blame |
| InferOf1 | AST.Class.Infer.Infer1 |
| InferOf1IndexConstraint | AST.Class.Infer.Infer1 |
| inferOfMatches | AST.Infer.Blame |
| inferOfUnify | AST.Infer.Blame |
| InferredChild | |
| 1 (Type/Class) | AST.Class.Infer, AST.Infer |
| 2 (Data Constructor) | AST.Class.Infer, AST.Infer |
| inferredType | AST.Class.Infer.InferOf, AST.Infer |
| inferredValue | AST.Class.Infer.InferOf, AST.Infer |
| inferType | AST.Term.Scheme |
| InL | Data.Functor.Sum.PolyKinds |
| InR | Data.Functor.Sum.PolyKinds |
| inRep | AST.Class.Infer, AST.Infer |
| instantiate | AST.Unify.Generalize |
| instantiateForAll | AST.Unify.Generalize |
| instantiateH | AST.Unify.Generalize |
| instantiateWith | AST.Unify.Generalize |
| inType | AST.Class.Infer, AST.Infer |
| InvDeBruijnIndex | AST.Term.NamelessScope.InvDeBruijn |
| inverseDeBruijnIndex | AST.Term.NamelessScope.InvDeBruijn |
| iRes | AST.Infer.Term, AST.Infer |
| ITerm | |
| 1 (Type/Class) | AST.Infer.Term, AST.Infer |
| 2 (Data Constructor) | AST.Infer.Term, AST.Infer |
| iTermToAnn | AST.Infer.Term, AST.Infer |
| ITermVarsConstraint | AST.Infer.Term, AST.Infer |
| iTermVarsConstraintCtx | AST.Infer.Term, AST.Infer |
| iVal | AST.Infer.Term, AST.Infer |
| joinK | AST.Class.Monad |
| KApplicative | AST.Class.Apply, AST |
| KApply | AST.Class.Apply, AST |
| KFoldable | AST.Class.Foldable, AST |
| KFoldableInferOf | AST.Class.Infer.InferOf, AST.Infer |
| KFunctor | AST.Class.Functor, AST |
| KFunctorInferOf | AST.Class.Infer.InferOf, AST.Infer |
| KHasPlain | AST.Class.HasPlain, AST |
| kLiftConstraint | AST.Class.Nodes, AST |
| KMonad | AST.Class.Monad |
| KNodes | AST.Class.Nodes, AST |
| KNodesConstraint | AST.Class.Nodes, AST |
| Knot | |
| 1 (Type/Class) | AST.Knot, AST |
| 2 (Data Constructor) | AST.Knot, AST |
| KPlain | AST.Class.HasPlain, AST |
| kPlain | AST.Class.HasPlain, AST |
| KPointed | AST.Class.Pointed, AST |
| KRecSelf | AST.Recurse |
| KRecSub | AST.Recurse |
| KRecWitness | AST.Recurse |
| KTraversable | AST.Class.Traversable, AST |
| KWitness | AST.Class.Nodes, AST.Class.Nodes, AST.Knot.Pure, AST.Knot.Functor, AST.Knot.Ann, AST, AST.Unify.Generalize, AST.Term.Row, AST.Term.Map, AST.Term.FuncType, AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal, AST.Term.Let, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |
| Lam | |
| 1 (Type/Class) | AST.Term.Lam |
| 2 (Data Constructor) | AST.Term.Lam |
| lamIn | AST.Term.Lam |
| lamOut | AST.Term.Lam |
| Let | |
| 1 (Type/Class) | AST.Term.Let |
| 2 (Data Constructor) | AST.Term.Let |
| letEquals | AST.Term.Let |
| letIn | AST.Term.Let |
| letVar | AST.Term.Let |
| liftK2 | AST.Class.Apply, AST |
| load | AST.Unify.Binding.ST.Load |
| LoadedNominalDecl | AST.Term.Nominal |
| loadNominalDecl | AST.Term.Nominal |
| loadScheme | AST.Term.Scheme |
| localInstantiations | AST.Term.Scheme |
| localLevel | AST.Infer.ScopeLevel, AST.Infer |
| LocalScopeType | AST.Class.Infer.Env, AST.Infer |
| localScopeType | AST.Class.Infer.Env, AST.Infer |
| lookupQVar | AST.Term.Scheme |
| lookupVar | AST.Class.Unify, AST.Unify |
| makeKApplicativeBases | AST.TH.Apply, AST |
| makeKApply | AST.TH.Apply |
| makeKApplyAndBases | AST.TH.Apply |
| makeKFoldable | AST.TH.Foldable |
| makeKFunctor | AST.TH.Functor |
| makeKHasPlain | AST.TH.HasPlain, AST |
| makeKNodes | AST.TH.Nodes |
| makeKPointed | AST.TH.Pointed |
| makeKTraversable | AST.TH.Traversable |
| makeKTraversableAndBases | AST.TH.Traversable, AST |
| makeKTraversableAndFoldable | AST.TH.Traversable |
| makeKTraversableApplyAndBases | AST.TH.Traversable, AST |
| makeQVarInstances | AST.Term.Scheme |
| makeZipMatch | AST.TH.ZipMatch, AST |
| mapK | AST.Class.Functor, AST |
| mappedK1 | AST.Class.Functor, AST |
| Mismatch | AST.Unify.Error, AST.Unify |
| MkANode | AST.Combinator.ANode, AST |
| MkCommonBody | AST.Diff |
| MkCompose | AST.Combinator.Compose |
| MkContainedK | AST.Class.Traversable |
| MkFlip | AST.Combinator.Flip |
| MonadInstantiate | AST.Term.Scheme |
| MonadNominals | AST.Term.Nominal |
| MonadQuantify | AST.Unify.QuantifiedVar |
| MonadScopeConstraints | AST.Unify.Constraints, AST.Unify |
| MonadScopeLevel | AST.Infer.ScopeLevel, AST.Infer |
| nArgs | AST.Term.Nominal |
| newQuantifiedVariable | AST.Unify.QuantifiedVar |
| newTerm | AST.Unify.New |
| newUnbound | AST.Unify.New |
| newVar | AST.Class.Unify, AST.Unify |
| nId | AST.Term.Nominal |
| NominalDecl | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| NominalInst | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| nominalInst | AST.Term.Nominal |
| NomVarTypes | AST.Term.Nominal |
| nParams | AST.Term.Nominal |
| nScheme | AST.Term.Nominal |
| Occurs | AST.Unify.Error, AST.Unify |
| occursCheck | AST.Unify.Occurs |
| occursError | AST.Unify.Occurs |
| OrdQVar | AST.Unify.QuantifiedVar |
| Pair | Data.Functor.Product.PolyKinds, AST |
| Product | Data.Functor.Product.PolyKinds, AST |
| Prune | AST.Knot.Prune |
| Pruned | AST.Knot.Prune |
| Pure | |
| 1 (Type/Class) | AST.Knot.Pure, AST |
| 2 (Data Constructor) | AST.Knot.Pure, AST |
| pureK | AST.Class.Pointed, AST |
| quantifiedVar | AST.Unify.QuantifiedVar |
| QVar | AST.Unify.QuantifiedVar |
| QVarInstances | |
| 1 (Type/Class) | AST.Term.Scheme |
| 2 (Data Constructor) | AST.Term.Scheme |
| QVars | |
| 1 (Type/Class) | AST.Term.Scheme |
| 2 (Data Constructor) | AST.Term.Scheme |
| recurse | AST.Class.Recursive, AST.Recurse |
| Recursive | AST.Class.Recursive, AST.Recurse |
| Recursively | AST.Class.Recursive, AST.Recurse, AST |
| recursively | AST.Class.Recursive, AST.Recurse, AST |
| RNodes | AST.Class.Recursive, AST.Recurse, AST |
| RowConstraints | AST.Term.Row |
| RowConstraintsKey | AST.Term.Row |
| rowElementInfer | AST.Term.Row |
| RowExtend | |
| 1 (Type/Class) | AST.Term.Row |
| 2 (Data Constructor) | AST.Term.Row |
| rowExtendStructureMismatch | AST.Term.Row |
| RowKey | AST.Term.Row |
| RTraversable | AST.Class.Recursive, AST.Recurse, AST |
| RTraversableInferOf | AST.Class.Infer.InferOf, AST.Infer |
| runContainedK | AST.Class.Traversable |
| save | AST.Unify.Binding.Save |
| saveScheme | AST.Term.Scheme |
| Scheme | |
| 1 (Type/Class) | AST.Term.Scheme |
| 2 (Data Constructor) | AST.Term.Scheme |
| Scope | |
| 1 (Type/Class) | AST.Term.NamelessScope |
| 2 (Data Constructor) | AST.Term.NamelessScope |
| scope | AST.Term.NamelessScope.InvDeBruijn |
| scopeConstraints | AST.Unify.Constraints, AST.Unify |
| ScopeLevel | |
| 1 (Type/Class) | AST.Infer.ScopeLevel, AST.Infer |
| 2 (Data Constructor) | AST.Infer.ScopeLevel, AST.Infer |
| ScopeOf | AST.Term.Var |
| ScopeTypes | |
| 1 (Type/Class) | AST.Term.NamelessScope |
| 2 (Data Constructor) | AST.Term.NamelessScope |
| scopeTypes | AST.Term.NamelessScope |
| ScopeVar | |
| 1 (Type/Class) | AST.Term.NamelessScope |
| 2 (Data Constructor) | AST.Term.NamelessScope |
| scopeVar | AST.Term.NamelessScope.InvDeBruijn |
| semiPruneLookup | AST.Unify.Lookup |
| sequenceK | AST.Class.Traversable, AST |
| sForAlls | AST.Term.Scheme |
| SkolemEscape | AST.Unify.Error, AST.Unify |
| SkolemUnified | AST.Unify.Error, AST.Unify |
| stBinding | AST.Unify.Binding.ST |
| strip | AST.Knot.Ann |
| structureMismatch | AST.Class.Unify, AST.Unify |
| STUVar | |
| 1 (Type/Class) | AST.Unify.Binding.ST |
| 2 (Data Constructor) | AST.Unify.Binding.ST |
| sTyp | AST.Term.Scheme |
| Sum | Data.Functor.Sum.PolyKinds |
| TermMap | |
| 1 (Type/Class) | AST.Term.Map |
| 2 (Data Constructor) | AST.Term.Map |
| tlIn | AST.Term.TypedLam |
| tlInType | AST.Term.TypedLam |
| tlOut | AST.Term.TypedLam |
| tnId | AST.Term.Nominal |
| tnVal | AST.Term.Nominal |
| ToNom | |
| 1 (Type/Class) | AST.Term.Nominal |
| 2 (Data Constructor) | AST.Term.Nominal |
| toScopeConstraints | AST.Unify.Constraints, AST.Unify |
| traverseK | AST.Class.Traversable, AST |
| traverseK1 | AST.Class.Traversable, AST |
| traverseK1_ | AST.Class.Foldable, AST |
| traverseK_ | AST.Class.Foldable, AST |
| Tree | AST.Knot, AST |
| tsTerm | AST.Term.TypeSig |
| tsType | AST.Term.TypeSig |
| typeAst | AST.Class.Infer.Infer1 |
| TypeConstraints | AST.Unify.Constraints, AST.Unify |
| TypeConstraintsOf | AST.Unify.Constraints, AST.Unify |
| TypedLam | |
| 1 (Type/Class) | AST.Term.TypedLam |
| 2 (Data Constructor) | AST.Term.TypedLam |
| TypeOf | AST.Class.Infer.InferOf, AST.Infer |
| TypeOf1 | AST.Class.Infer.Infer1 |
| TypeSig | |
| 1 (Type/Class) | AST.Term.TypeSig |
| 2 (Data Constructor) | AST.Term.TypeSig |
| uBody | AST.Unify.Term |
| uConstraints | AST.Unify.Term |
| UConverted | AST.Unify.Term |
| UInstantiated | AST.Unify.Term |
| unflattenRow | AST.Term.Row |
| unfold | AST.Recurse |
| unfreeze | AST.Unify.New |
| Unify | AST.Class.Unify, AST.Unify |
| unify | AST.Unify |
| UnifyError | AST.Unify.Error, AST.Unify |
| unifyError | AST.Class.Unify, AST.Unify |
| unifyRecursive | AST.Class.Unify, AST.Unify |
| unifyUnbound | AST.Unify |
| unifyUTerms | AST.Unify |
| Unpruned | AST.Knot.Prune |
| unwrap | AST.Recurse |
| unwrapM | AST.Recurse |
| updateConstraints | AST.Unify |
| updateTermConstraints | AST.Unify |
| updateTermConstraintsH | AST.Unify |
| UResolved | AST.Unify.Term |
| UResolving | AST.Unify.Term |
| USkolem | AST.Unify.Term |
| UTerm | |
| 1 (Type/Class) | AST.Unify.Term |
| 2 (Data Constructor) | AST.Unify.Term |
| UTermBody | |
| 1 (Type/Class) | AST.Unify.Term |
| 2 (Data Constructor) | AST.Unify.Term |
| UToVar | AST.Unify.Term |
| UUnbound | AST.Unify.Term |
| UVar | |
| 1 (Type/Class) | AST.Unify.Binding |
| 2 (Data Constructor) | AST.Unify.Binding |
| UVarOf | AST.Class.Unify, AST.Unify |
| val | |
| 1 (Function) | AST.Knot.Ann |
| 2 (Function) | AST.Diff |
| Var | |
| 1 (Type/Class) | AST.Term.Var |
| 2 (Data Constructor) | AST.Term.Var |
| VarType | AST.Term.Var |
| varType | AST.Term.Var |
| verifyConstraints | AST.Unify.Constraints, AST.Unify |
| verifyRowExtendConstraints | AST.Term.Row |
| wcBody | AST.Unify.Constraints, AST.Unify |
| wcConstraint | AST.Unify.Constraints, AST.Unify |
| WithConstraint | |
| 1 (Type/Class) | AST.Unify.Constraints, AST.Unify |
| 2 (Data Constructor) | AST.Unify.Constraints, AST.Unify |
| wrap | AST.Recurse |
| wrapM | AST.Recurse |
| W_Ann_Ann_a | AST.Knot.Ann |
| W_App_expr | AST.Term.App |
| W_FlatRowExtends_rest | AST.Term.Row |
| W_FlatRowExtends_val | AST.Term.Row |
| W_FuncType_typ | AST.Term.FuncType, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |
| W_F_F_f | AST.Knot.Functor |
| W_Lam_expr | AST.Term.Lam |
| W_Let_expr | AST.Term.Let |
| W_Pure_Pure | AST.Knot.Pure, AST, AST.Unify.Generalize, AST.Term.Row, AST.Term.Map, AST.Term.FuncType, AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal, AST.Term.Let, AST.Term.Lam, AST.Term.App, AST.Term.NamelessScope |
| W_RowExtend_rest | AST.Term.Row |
| W_RowExtend_val | AST.Term.Row |
| W_Scheme_typ | AST.Term.Scheme, AST.Term.TypeSig, AST.Term.Nominal |
| W_ScopeTypes_t | AST.Term.NamelessScope |
| W_Scope_expr_Maybe_a | AST.Term.NamelessScope |
| W_TermMap_expr | AST.Term.Map |
| W_ToNom_term | AST.Term.Nominal |
| W_TypeSig_Scheme_vars_TypeOf_term | AST.Term.TypeSig |
| W_TypeSig_term | AST.Term.TypeSig |
| zipK | AST.Class.Apply, AST |
| ZipMatch | AST.Class.ZipMatch |
| zipMatch | AST.Class.ZipMatch |
| zipMatch1_ | AST.Class.ZipMatch |
| zipMatch2 | AST.Class.ZipMatch |
| zipMatchA | AST.Class.ZipMatch |
| zipMatch_ | AST.Class.ZipMatch |
| _ann | AST.Knot.Ann, AST |
| _anns | AST.Diff |
| _ANode | AST.Combinator.ANode, AST |
| _appArg | AST.Term.App |
| _appFunc | AST.Term.App |
| _bAnn | AST.Infer.Blame |
| _Binding | AST.Unify.Binding |
| _bRes | AST.Infer.Blame |
| _bVal | AST.Infer.Blame |
| _CommonBody | AST.Diff |
| _CommonBodyP | AST.Diff |
| _CommonSubTree | AST.Diff |
| _CommonSubTreeP | AST.Diff |
| _Compose | AST.Combinator.Compose |
| _ConstraintsViolation | AST.Unify.Error |
| _ContainedK | AST.Class.Traversable |
| _Different | AST.Diff |
| _DifferentP | AST.Diff |
| _eKey | AST.Term.Row |
| _eRest | AST.Term.Row |
| _eVal | AST.Term.Row |
| _F | AST.Knot.Functor |
| _Flip | AST.Combinator.Flip |
| _freExtends | AST.Term.Row |
| _freRest | AST.Term.Row |
| _FromNom | AST.Term.Nominal |
| _funcIn | AST.Term.FuncType |
| _funcOut | AST.Term.FuncType |
| _GBody | AST.Unify.Generalize |
| _GMono | AST.Unify.Generalize |
| _GPoly | AST.Unify.Generalize |
| _iAnn | AST.Infer.Term, AST.Infer |
| _InferChild | AST.Class.Infer, AST.Infer |
| _inRep | AST.Class.Infer, AST.Infer |
| _inType | AST.Class.Infer, AST.Infer |
| _iRes | AST.Infer.Term, AST.Infer |
| _iVal | AST.Infer.Term, AST.Infer |
| _lamIn | AST.Term.Lam |
| _lamOut | AST.Term.Lam |
| _letEquals | AST.Term.Let |
| _letIn | AST.Term.Let |
| _letVar | AST.Term.Let |
| _Mismatch | AST.Unify.Error |
| _nArgs | AST.Term.Nominal |
| _nId | AST.Term.Nominal |
| _nParams | AST.Term.Nominal |
| _nScheme | AST.Term.Nominal |
| _Occurs | AST.Unify.Error |
| _Pure | AST.Knot.Pure, AST |
| _QVarInstances | AST.Term.Scheme |
| _QVars | AST.Term.Scheme |
| _Scope | AST.Term.NamelessScope |
| _ScopeLevel | AST.Infer.ScopeLevel, AST.Infer |
| _ScopeTypes | AST.Term.NamelessScope |
| _ScopeVar | AST.Term.NamelessScope |
| _sForAlls | AST.Term.Scheme |
| _SkolemEscape | AST.Unify.Error |
| _SkolemUnified | AST.Unify.Error |
| _STUVar | AST.Unify.Binding.ST |
| _sTyp | AST.Term.Scheme |
| _TermMap | AST.Term.Map |
| _tlIn | AST.Term.TypedLam |
| _tlInType | AST.Term.TypedLam |
| _tlOut | AST.Term.TypedLam |
| _tnId | AST.Term.Nominal |
| _tnVal | AST.Term.Nominal |
| _tsTerm | AST.Term.TypeSig |
| _tsType | AST.Term.TypeSig |
| _uBody | AST.Unify.Term |
| _uConstraints | AST.Unify.Term |
| _UConverted | AST.Unify.Term |
| _UInstantiated | AST.Unify.Term |
| _UResolved | AST.Unify.Term |
| _UResolving | AST.Unify.Term |
| _USkolem | AST.Unify.Term |
| _UTerm | AST.Unify.Term |
| _UToVar | AST.Unify.Term |
| _UUnbound | AST.Unify.Term |
| _UVar | AST.Unify.Binding |
| _val | |
| 1 (Function) | AST.Knot.Ann, AST |
| 2 (Function) | AST.Diff |
| _Var | AST.Term.Var |
| _wcBody | AST.Unify.Constraints, AST.Unify |
| _wcConstraint | AST.Unify.Constraints, AST.Unify |