| i | Morley.Util.Interpolate |
| ib | Morley.Util.Interpolate |
| icsCallStack | Morley.Michelson.ErrorPos |
| icsSrcPos | Morley.Michelson.ErrorPos |
| IF | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| If | |
| 1 (Type/Class) | Morley.Util.Type |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| ifAnnUnified | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| IFCMP | Morley.Michelson.Macro |
| ifCmpMac | Morley.Michelson.Parser.Macro |
| IFX | Morley.Michelson.Macro |
| IF_CONS | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| IF_LEFT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| IF_NONE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| IF_RIGHT | Morley.Michelson.Macro |
| IF_SOME | Morley.Michelson.Macro |
| IllegalEntrypoint | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| IllegalParamDecl | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| IllTypedInstr | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| IllTypedOp | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| IllTypedSeq | Morley.Michelson.TypeCheck.TypeCheckedSeq |
| IMPLICIT_ACCOUNT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| importContract | Morley.Michelson.Runtime.Import |
| importSomeContract | Morley.Michelson.Runtime.Import |
| importSomeValue | Morley.Michelson.Runtime.Import |
| importUntypedContract | Morley.Michelson.Runtime.Import |
| importUntypedValue | Morley.Michelson.Runtime.Import |
| importUsing | Morley.Michelson.Runtime.Import |
| importValue | Morley.Michelson.Runtime.Import |
| InEpNameBadAnnotation | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| initGState | Morley.Michelson.Runtime.GState |
| initInterpreterState | Morley.Michelson.Interpret |
| insertTypeAnn | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| Instr | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| InstrAbstract | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| InstrCallStack | |
| 1 (Type/Class) | Morley.Michelson.ErrorPos |
| 2 (Data Constructor) | Morley.Michelson.ErrorPos |
| instrCase | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrCaseC | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrConstruct | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrConstructC | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrConstructStack | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrDeconstruct | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrDeconstructC | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrGetFieldC | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrOpSize | |
| 1 (Function) | Morley.Michelson.Untyped.OpSize, Morley.Michelson.Untyped |
| 2 (Function) | Morley.Michelson.Typed.OpSize, Morley.Michelson.Typed |
| InstrRunner | Morley.Michelson.Interpret |
| instrSetField | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrSetFieldC | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrToField | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrToOps | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| instrToOpsOptimized | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| InstrUnwrapC | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrWithNotes | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| InstrWithVarAnns | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| InstrWithVarNotes | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| instrWrap | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrWrapC | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| instrWrapOne | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| InstrWrapOneC | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| INT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| integralReader | Morley.Util.CLI |
| InternalByteString | |
| 1 (Type/Class) | Morley.Michelson.Untyped.Value, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Untyped.Value, Morley.Michelson.Untyped |
| interpret | Morley.Michelson.Interpret |
| InterpretError | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| InterpreterState | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| InterpreterStateMonad | Morley.Michelson.Interpret |
| interpretInstr | Morley.Michelson.Interpret |
| interpretInstrAnnotated | Morley.Michelson.Interpret |
| InterpretResult | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| intLiteral | Morley.Michelson.Parser.Value, Morley.Michelson.Parser |
| InvalidAddress | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidBls12381Object | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidChar | Morley.Michelson.Parser.Error, Morley.Michelson.Parser |
| InvalidEscapeSequence | Morley.Michelson.Parser.Error, Morley.Michelson.Parser |
| InvalidInstruction | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidKeyHash | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidStackReference | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidTimestamp | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidValueType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| isAnnotationField | Morley.Micheline.Expression, Morley.Micheline |
| isAnnotationType | Morley.Micheline.Expression, Morley.Micheline |
| isAnnotationVariable | Morley.Micheline.Expression, Morley.Micheline |
| isAtomicType | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isBigMapCounter | Morley.Michelson.Interpret |
| isBool | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isBytes | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isBytesValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| IsComparable | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| isComparable | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isDefEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped |
| IsElem | Morley.Util.Type |
| isGlobalCounter | Morley.Michelson.Interpret |
| isGreaterEqualThan | Morley.Util.Peano |
| isGreaterThan | Morley.Util.Peano |
| IsHomomorphic | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| isInt | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isInteger | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isKey | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isKeyAddress | Morley.Tezos.Address |
| isKeyHash | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| IsLabel | Morley.Util.Label |
| IsLongerOrSameLength | Morley.Util.Peano |
| IsLongerThan | Morley.Util.Peano |
| isMChar | Morley.Michelson.Text |
| isMutez | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| ISNAT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| isNat | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isNoAnn | Morley.Micheline.Expression, Morley.Micheline |
| isNoAnnSet | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| IsoRecTuple | Morley.Util.TypeTuple.Class, Morley.Util.TypeTuple |
| IsoValue | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| IsoValuesStack | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| IsPair | Morley.Michelson.Typed.TypeLevel |
| IsPrimitiveValue | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| isRemainingSteps | Morley.Michelson.Interpret |
| isRenderable | Morley.Michelson.Printer.Util, Morley.Michelson.Printer |
| isSignature | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isStar | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| isString | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isStringValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| isTimestamp | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isTypeAlias | Morley.Util.TH |
| isTypicalFailWith | Morley.Michelson.FailPattern |
| isValidAnnBodyChar | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| isValidAnnStart | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| isValidViewNameChar | Morley.Michelson.Untyped.View, Morley.Michelson.Untyped |
| it | Morley.Util.Interpolate |
| itb | Morley.Util.Interpolate |
| ITER | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Iteration | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| IterOp | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| iterOpDetachOne | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| IterOpEl | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed, Morley.Michelson.Typed |
| iterOpNotes | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| itu | Morley.Util.Interpolate |
| itub | Morley.Util.Interpolate |
| iu | Morley.Util.Interpolate |
| iub | Morley.Util.Interpolate |
| iurMorleyLogs | Morley.Michelson.Interpret |
| iurNewState | Morley.Michelson.Interpret |
| iurNewStorage | Morley.Michelson.Interpret |
| iurOps | Morley.Michelson.Interpret |