| identityFunction | Util.PartialFunctions |
| If | CSPM.DataStructures.Syntax, CSPM |
| incorrectArgumentCountMessage | CSPM.TypeChecker.Exceptions |
| inError | CSPM.TypeChecker.Monad |
| infiniteUnificationMessage | CSPM.TypeChecker.Exceptions |
| initEvaluator | CSPM.Evaluator |
| initTypeChecker | CSPM.TypeChecker |
| injectBuiltInFunctions | |
| 1 (Function) | CSPM.Evaluator.BuiltInFunctions |
| 2 (Function) | CSPM.TypeChecker.BuiltInFunctions |
| inner | Util.Annotated |
| Input | CSPM.DataStructures.Syntax, CSPM |
| input | CSPM.Parser.Monad |
| insert | CSPM.Compiler.Map |
| instantiate | CSPM.TypeChecker.Unification |
| Int | CSPM.DataStructures.Syntax, CSPM |
| int | Util.PrettyPrint |
| integer | Util.PrettyPrint |
| Integers | CSPM.Evaluator.ValueSet |
| inter | CSPM.Evaluator.ValueSet |
| InteractiveStmt | CSPM.DataStructures.Syntax, CSPM |
| Interleave | CSPM.DataStructures.Syntax, CSPM |
| InternalChoice | CSPM.DataStructures.Syntax, CSPM |
| InternalName | CSPM.DataStructures.Names, CSPM |
| Interrupt | CSPM.DataStructures.Syntax, CSPM |
| intersection | CSPM.Evaluator.ValueSet |
| intersections | CSPM.Evaluator.ValueSet |
| IntSetFrom | CSPM.Evaluator.ValueSet |
| invalidDeclarationErrorMessage | CSPM.Parser.Exceptions |
| invalidExpressionErrorMessage | CSPM.Parser.Exceptions |
| invalidIncludeErrorMessage | CSPM.Parser.Exceptions |
| invalidPatternErrorMessage | CSPM.Parser.Exceptions |
| invert | Util.PartialFunctions |
| IORefMaybe | |
| 1 (Type/Class) | CSPM.DataStructures.Types, CSPM |
| 2 (Data Constructor) | CSPM.DataStructures.Types, CSPM |
| isDataTypeOrChannel | CSPM.TypeChecker.Monad |
| isDeprecated | |
| 1 (Function) | CSPM.TypeChecker.Environment |
| 2 (Function) | CSPM.TypeChecker.Monad |
| isEmpty | Util.PrettyPrint |
| isInternal | CSPM.DataStructures.Names, CSPM |
| isTypeUnsafe | |
| 1 (Function) | CSPM.TypeChecker.Environment |
| 2 (Function) | CSPM.TypeChecker.Monad |
| iUnbox | CSPM.Parser.Lexer |