| ICEParse | Morley.Test.Import |
| ICETypeCheck | Morley.Test.Import |
| ICEUnexpectedParamType | Morley.Test.Import |
| ICEUnexpectedStorageType | Morley.Test.Import |
| IEAlreadyOriginated | Morley.Runtime |
| ieContractEnv | Michelson.Interpret |
| IEFailedToApplyUpdates | Morley.Runtime |
| IEIllTypedContract | Morley.Runtime |
| IEInterpreterFailed | Morley.Runtime |
| ieItHandler | Michelson.Interpret |
| IENotEnoughFunds | Morley.Runtime |
| IEUnknownContract | Morley.Runtime |
| IEUnknownManager | Morley.Runtime |
| IEUnknownSender | Morley.Runtime |
| IF | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| ifAnnUnified | Michelson.Untyped |
| IFCMP | Morley.Types |
| IFX | Morley.Types |
| IF_CONS | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_LEFT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_NONE | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_RIGHT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IF_SOME | Morley.Types |
| IllTypedContract | Michelson.Interpret |
| IllTypedParam | Michelson.Interpret |
| IllTypedStorage | Michelson.Interpret |
| IMPLICIT_ACCOUNT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| importContract | Morley.Test.Import |
| ImportContractError | Morley.Test.Import |
| initGState | Morley.Runtime.GState |
| inPattern | Morley.Types |
| Instr | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Type/Class) | Michelson.Typed |
| InstrAbstract | Michelson.Untyped, Morley.Types |
| InstrExtT | Michelson.Typed |
| InstrExtU | Michelson.Untyped |
| instrToOps | Michelson.Typed |
| INT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IntegrationalScenario | Morley.Test.Integrational, Morley.Test |
| integrationalTestExpectation | Morley.Test.Integrational, Morley.Test |
| integrationalTestProperty | Morley.Test.Integrational, Morley.Test |
| IntegrationalValidator | Morley.Test.Integrational, Morley.Test |
| InternalByteString | |
| 1 (Type/Class) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Untyped, Morley.Types |
| interpret | Michelson.Interpret |
| InterpreterEnv | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| InterpreterError | Morley.Runtime |
| InterpreterOp | Morley.Runtime |
| interpreterPure | Morley.Runtime |
| InterpreterRes | |
| 1 (Type/Class) | Morley.Runtime |
| 2 (Data Constructor) | Morley.Runtime |
| InterpreterState | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| interpretHandler | Morley.Ext |
| interpretMorley | Morley.Ext |
| interpretMorleyUntyped | Morley.Ext |
| interpretUntyped | Michelson.Interpret |
| InterpretUntypedError | Michelson.Interpret |
| InterpretUntypedResult | |
| 1 (Type/Class) | Michelson.Interpret |
| 2 (Data Constructor) | Michelson.Interpret |
| intLiteral | Morley.Parser |
| isAtomicType | Michelson.Untyped |
| isBool | Michelson.Untyped |
| isBytes | Michelson.Untyped |
| isComparable | Michelson.Untyped |
| isExtState | Michelson.Interpret |
| isInt | Michelson.Untyped |
| isInteger | Michelson.Untyped |
| isKey | Michelson.Untyped |
| isKeyHash | Michelson.Untyped |
| isMutez | Michelson.Untyped |
| ISNAT | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| isNat | Michelson.Untyped |
| isRemainingSteps | Michelson.Interpret |
| isSignature | Michelson.Untyped |
| isStar | Michelson.Typed |
| isString | Michelson.Untyped |
| isTimestamp | Michelson.Untyped |
| ITER | |
| 1 (Data Constructor) | Michelson.Untyped, Morley.Types |
| 2 (Data Constructor) | Michelson.Typed |
| IterOp | Michelson.Typed |
| iterOpDetachOne | Michelson.Typed |
| IterOpEl | Michelson.Typed |
| iurNewState | Michelson.Interpret |
| iurNewStorage | Michelson.Interpret |
| iurOps | Michelson.Interpret |