| I | Lorentz.Base, Lorentz |
| ICEParse | Michelson.Test.Import |
| ICETypeCheck | Michelson.Test.Import |
| ICEUnexpectedParamType | Michelson.Test.Import |
| ICEUnexpectedStorageType | Michelson.Test.Import |
| icsCallStack | Michelson.ErrorPos |
| icsSrcPos | Michelson.ErrorPos |
| IEAlreadyOriginated | Michelson.Runtime |
| IEFailedToApplyUpdates | Michelson.Runtime |
| IEIllTypedContract | Michelson.Runtime |
| IEInterpreterFailed | Michelson.Runtime |
| IENotEnoughFunds | Michelson.Runtime |
| IEUnknownContract | Michelson.Runtime |
| IEUnknownManager | Michelson.Runtime |
| IEUnknownSender | Michelson.Runtime |
| IF | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| ifAnnUnified | Michelson.Untyped.Annotation, Michelson.Untyped |
| IFCMP | Michelson.Macro |
| ifCmpMac | Michelson.Parser.Macro |
| IfCmpXConstraints | Lorentz.Macro, Lorentz |
| ifCons | Lorentz.Instr, Lorentz |
| ifEq | Lorentz.Macro, Lorentz |
| ifEq0 | Lorentz.Macro, Lorentz |
| ifGe | Lorentz.Macro, Lorentz |
| ifGe0 | Lorentz.Macro, Lorentz |
| ifGt | Lorentz.Macro, Lorentz |
| ifGt0 | Lorentz.Macro, Lorentz |
| ifLe | Lorentz.Macro, Lorentz |
| ifLe0 | Lorentz.Macro, Lorentz |
| ifLeft | Lorentz.Instr, Lorentz |
| ifLt | Lorentz.Macro, Lorentz |
| ifLt0 | Lorentz.Macro, Lorentz |
| ifNeq | Lorentz.Macro, Lorentz |
| ifNeq0 | Lorentz.Macro, Lorentz |
| ifNone | Lorentz.Instr, Lorentz |
| ifRight | Lorentz.Macro, Lorentz |
| ifSome | Lorentz.Macro, Lorentz |
| ifThenElse | Lorentz.Rebinded, Lorentz |
| IFX | Michelson.Macro |
| if_ | Lorentz.Instr, Lorentz |
| IF_CONS | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_NONE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| IF_RIGHT | Michelson.Macro |
| IF_SOME | Michelson.Macro |
| IllTypedContract | Michelson.Interpret |
| IllTypedParam | Michelson.Interpret |
| IllTypedStorage | Michelson.Interpret |
| implicitAccount | Lorentz.Instr, Lorentz |
| IMPLICIT_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| importContract | Michelson.Test.Import |
| ImportContractError | Michelson.Test.Import |
| importUntypedContract | Michelson.Test.Import, Michelson.Test |
| IncorrectStorageUpdate | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| IncorrectUpdates | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| initGState | Michelson.Runtime.GState |
| inPattern | Michelson.Untyped.Ext, Michelson.Untyped |
| Instr | |
| 1 (Type/Class) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Type/Class) | Michelson.Typed.Instr, Michelson.Typed |
| InstrAbstract | Michelson.Untyped.Instr, Michelson.Untyped |
| InstrCallStack | |
| 1 (Type/Class) | Michelson.ErrorPos |
| 2 (Data Constructor) | Michelson.ErrorPos |
| instrCase | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrCaseC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrConstruct | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrConstructC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrExtU | Michelson.Untyped.Instr, Michelson.Untyped |
| instrGetField | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrGetFieldC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrSetField | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrSetFieldC | Michelson.Typed.Haskell.Instr.Product, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrToOps | Michelson.Typed.Convert, Michelson.Typed |
| InstrUnwrapC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrUnwrapUnsafe | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| instrWrap | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| InstrWrapC | Michelson.Typed.Haskell.Instr.Sum, Michelson.Typed.Haskell.Instr, Michelson.Typed.Haskell, Michelson.Typed |
| INT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| int | Lorentz.Instr, Lorentz |
| Integer | Lorentz.Value, Lorentz |
| IntegrationalScenario | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalScenarioM | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestExpectation | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| integrationalTestProperty | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| IntegrationalValidator | Michelson.Test.Integrational, Michelson.Test, Lorentz.Test.Integrational, Lorentz.Test |
| InternalByteString | |
| 1 (Type/Class) | Michelson.Untyped.Value, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Untyped.Value, Michelson.Untyped |
| interpret | Michelson.Interpret |
| InterpreterError | Michelson.Runtime |
| InterpreterError' | Michelson.Runtime |
| InterpreterOp | Michelson.Runtime |
| interpreterPure | Michelson.Runtime |
| InterpreterRes | |
| 1 (Type/Class) | Michelson.Runtime |
| 2 (Data Constructor) | Michelson.Runtime |
| InterpreterState | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| interpretRepeated | Michelson.Interpret |
| interpretUntyped | Michelson.Interpret |
| InterpretUntypedError | Michelson.Interpret |
| InterpretUntypedResult | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| intLiteral | Michelson.Parser.Value, Michelson.Parser |
| InvalidBalance | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| InvalidChar | Michelson.Parser.Error, Michelson.Parser |
| InvalidEscapeSequence | Michelson.Parser.Error, Michelson.Parser |
| InvalidStackReference | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| InvalidStorage | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| irInterpretResults | Michelson.Runtime |
| irUpdates | Michelson.Runtime |
| isAtomicType | Michelson.Untyped.Type, Michelson.Untyped |
| isBool | Michelson.Untyped.Type, Michelson.Untyped |
| isBytes | Michelson.Untyped.Type, Michelson.Untyped |
| IsComparable | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed |
| isComparable | Michelson.Untyped.Type, Michelson.Untyped |
| IsCons | Lorentz.Rebinded, Lorentz |
| IsContract | Lorentz.Discover |
| IsElem | Util.Type |
| IsEq | Lorentz.Rebinded, Lorentz |
| IsError | Lorentz.Errors, Lorentz |
| IsGe | Lorentz.Rebinded, Lorentz |
| IsGt | Lorentz.Rebinded, Lorentz |
| isHaskellModule | Lorentz.Discover |
| isInt | Michelson.Untyped.Type, Michelson.Untyped |
| isInteger | Michelson.Untyped.Type, Michelson.Untyped |
| isKey | Michelson.Untyped.Type, Michelson.Untyped |
| isKeyHash | Michelson.Untyped.Type, Michelson.Untyped |
| IsLe | Lorentz.Rebinded, Lorentz |
| IsLeft | Lorentz.Rebinded, Lorentz |
| IsLongerThan | Util.Peano |
| IsLt | Lorentz.Rebinded, Lorentz |
| isMChar | Michelson.Text |
| isMorleyLogs | Michelson.Interpret |
| isMutez | Michelson.Untyped.Type, Michelson.Untyped |
| ISNAT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| isNat | |
| 1 (Function) | Michelson.Untyped.Type, Michelson.Untyped |
| 2 (Function) | Lorentz.Instr, Lorentz |
| IsNeq | Lorentz.Rebinded, Lorentz |
| IsNil | Lorentz.Rebinded, Lorentz |
| IsNone | Lorentz.Rebinded, Lorentz |
| IsNotZero | Lorentz.Rebinded, Lorentz |
| IsoCValue | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| IsoMapOpRes | Lorentz.Polymorphic, Lorentz |
| IsoRecTuple | Util.TypeTuple.Class, Util.TypeTuple |
| IsoValue | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| isRemainingSteps | Michelson.Interpret |
| isRenderable | Michelson.Printer.Util, Michelson.Printer |
| IsRight | Lorentz.Rebinded, Lorentz |
| isSignature | Michelson.Untyped.Type, Michelson.Untyped |
| IsSome | Lorentz.Rebinded, Lorentz |
| isStar | Michelson.Typed.Annotation, Michelson.Typed |
| isString | Michelson.Untyped.Type, Michelson.Untyped |
| isTimestamp | Michelson.Untyped.Type, Michelson.Untyped |
| IsZero | Lorentz.Rebinded, Lorentz |
| ITER | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| iter | Lorentz.Instr, Lorentz |
| IterOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| iterOpDetachOne | Michelson.Typed.Polymorphic, Michelson.Typed |
| IterOpEl | Michelson.Typed.Polymorphic, Michelson.Typed |
| IterOpElHs | Lorentz.Polymorphic, Lorentz |
| IterOpHs | Lorentz.Polymorphic, Lorentz |
| iurNewState | Michelson.Interpret |
| iurNewStorage | Michelson.Interpret |
| iurOps | Michelson.Interpret |