Index - I
| 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 |