Index - I
| iAmNotUnique | Abstract |
| Id | Lexer |
| Ident | Concrete |
| ident | Concrete |
| IdentP | Concrete |
| IdKind | Abstract |
| idKind | Abstract |
| idName | Abstract |
| ifJustM | Util |
| ifM | Util |
| ifNothingM | Util |
| Ignore | TraceError |
| implies | Util |
| ImportDecl | HsSyntax |
| Impredicative | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| impredicative | TCM |
| In | Lexer |
| inc | Warshall |
| increasesHeight | TreeShapedOrder |
| Ind | Abstract |
| Index | |
| 1 (Data Constructor) | Abstract |
| 2 (Type/Class) | Termination |
| inferable | Abstract |
| inferExpr | TypeChecker |
| inferExpr' | TypeChecker |
| inferProj | TypeChecker |
| inferSize | TypeChecker |
| inferType | TypeChecker |
| Infinite | Warshall |
| infinite | Warshall |
| Infty | |
| 1 (Data Constructor) | Lexer |
| 2 (Data Constructor) | Abstract |
| 3 (Data Constructor) | Concrete |
| initCxt | ToHaskell |
| initGraph | Warshall |
| initSt | |
| 1 (Function) | TCM |
| 2 (Function) | ToHaskell |
| initWithSig | TCM |
| InjectiveVars | Abstract |
| injectiveVars | Abstract |
| insert | TreeShapedOrder |
| insertCast | Extract |
| insertConstructorTele | TypeChecker |
| inst | TypeChecker |
| installFuns | TCM |
| instConLType | TCM |
| instConLType' | TCM |
| instConType | TCM |
| instList | TypeChecker |
| instList' | TypeChecker |
| instWh | TypeChecker |
| inTags | Abstract |
| integerSemiring | Semiring |
| intercalate | Util |
| internal | Abstract |
| intersectKind | Abstract |
| intersectWith | SparseMatrix |
| intMap | Warshall |
| introPatterns | TCM |
| introPatType | TCM |
| introPatTypes | TCM |
| introPatVar | TCM |
| introPatVars | TCM |
| invComp | Polarity |
| invert | TreeShapedOrder |
| Irr | Abstract |
| irrefutablePat | Abstract |
| irrelevantDec | Abstract |
| irrelevantFor | Abstract |
| irrSortFor | Abstract |
| isAncestor | TreeShapedOrder |
| isBelow | Warshall |
| isBelowInfty | TCM |
| isCo | TCM |
| isDataType | Value |
| isDecr | Termination |
| isDotPattern | Abstract |
| isDotted | Abstract |
| isEmpty | SparseMatrix |
| isEmptyData | TCM |
| isEmptyType | Eval |
| isErasedExpr | Abstract |
| isEtaAlias | Abstract |
| isField | Abstract |
| isFun | Value |
| isFunType | Value |
| isMeta | TypeChecker |
| isNamedField | Abstract |
| isPatIndFamC | Abstract |
| isProjection | Abstract |
| isPVar | Polarity |
| isSingleton | SparseMatrix |
| isSize | Abstract |
| isSized | TCM |
| isSPos | Polarity |
| isSuccessor | Abstract |
| isSuccessorPattern | Abstract |
| isTuple | TCM |
| isTypeChecked | TCM |
| isUnitData | TCM |
| isUnitType | Eval |
| isVSize | Value |