| i | Morley.Util.Interpolate |
| ib | Morley.Util.Interpolate |
| ieFailure | Morley.Michelson.Interpret |
| ieLogs | Morley.Michelson.Interpret |
| IF | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| If | |
| 1 (Type/Class) | Morley.Util.Type |
| 2 (Data Constructor) | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| IFCMP | Morley.Michelson.Macro |
| ifCmpMac | Morley.Michelson.Parser.Macro |
| ifNopNop2Drop | Morley.Michelson.Optimizer.Internal.Rules |
| 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 |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| IF_LEFT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| IF_NONE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| 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 |
| IllTypedNest | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| IllTypedOp | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| IllTypedSeq | Morley.Michelson.TypeCheck.TypeCheckedSeq |
| ImplicitAddress | |
| 1 (Data Constructor) | Morley.Tezos.Address |
| 2 (Type/Class) | Morley.Tezos.Address |
| ImplicitAddressOrAlias | Morley.Tezos.Address.Alias |
| ImplicitAlias | |
| 1 (Type/Class) | Morley.Tezos.Address.Alias |
| 2 (Data Constructor) | Morley.Tezos.Address.Alias |
| implicitPrefix | Morley.Tezos.Address.Alias |
| ImplicitState | |
| 1 (Type/Class) | Morley.Michelson.Runtime.GState |
| 2 (Data Constructor) | Morley.Michelson.Runtime.GState |
| 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 |
| index | Morley.Util.SizedList |
| index' | Morley.Util.SizedList |
| indexMaybe | Morley.Util.SizedList |
| InEpNameBadAnnotation | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| initGState | Morley.Michelson.Runtime.GState |
| initInterpreterState | Morley.Michelson.Interpret |
| insertRuleAtPrio | Morley.Michelson.Optimizer.Internal.Ruleset, Morley.Michelson.Optimizer |
| insertTypeAnn | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| Instr | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| InstrAbstract | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| instrAnns | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| 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 |
| InstrClass | |
| 1 (Type/Class) | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| 2 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym0 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym0KindInference | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym1 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym1KindInference | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym2 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym2KindInference | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym3 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym3KindInference | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| InstrClassSym4 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| 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 |
| InstrEnum | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| instrGetField | 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 |
| instrGetFieldOpen | Morley.Michelson.Typed.Haskell.Instr.Product, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, 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 |
| instrSetFieldOpen | 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 |
| 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 |
| internalNop | Morley.Michelson.Optimizer.Internal.Rules |
| interpret | Morley.Michelson.Interpret |
| 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 | Morley.Michelson.Interpret |
| InterpretReturn | Morley.Michelson.Interpret |
| interpretView | Morley.Michelson.Interpret |
| interpretView' | Morley.Michelson.Interpret |
| intLiteral | Morley.Michelson.Parser.Value, Morley.Michelson.Parser |
| InvalidAddress | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| InvalidBigMapId | 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 |
| isAlwaysFailing | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsAlwaysFailing |
| isAnnotationField | Morley.Micheline.Expression, Morley.Micheline |
| isAnnotationType | Morley.Micheline.Expression, Morley.Micheline |
| isAnnotationVariable | Morley.Micheline.Expression, Morley.Micheline |
| isAppToInstr | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren |
| isAtomicType | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isBalance | Morley.Michelson.Runtime.GState |
| isBalanceL | Morley.Michelson.Runtime.GState |
| 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.Untyped.Type, Morley.Michelson.Untyped |
| isDefEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped |
| isDelegate | Morley.Michelson.Runtime.GState |
| isDelegateL | Morley.Michelson.Runtime.GState |
| IsDupableScope | Morley.Michelson.Typed.Scope.Internal.Scopes, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| IsElem | Morley.Util.Type |
| IsEq | Morley.Util.Type, Morley.Micheline.Expression.WithMeta |
| isExtInstr | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren |
| 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 |
| isImplicitAddress | Morley.Tezos.Address |
| isInstr | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren |
| IsInstrOp | Morley.Michelson.TypeCheck.TypeCheck, Morley.Michelson.TypeCheck |
| isInt | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isInteger | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isKey | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isKeyHash | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| IsLabel | Morley.Util.Label |
| IsLongerOrSameLength | Morley.Util.Peano |
| isLongerOrSameLengthDecThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| isLongerOrSameLengthExtThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| IsLongerThan | Morley.Util.Peano |
| isLongerThanExtThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| isLongerThanIncThm | Morley.Michelson.Typed.Instr.Internal.Proofs |
| isMChar | Morley.Michelson.Text |
| IsMichelson | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| isMichelson | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.IsMichelson |
| isMichelsonInstr | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| 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 |
| IsNotInView | Morley.Michelson.Typed.Contract, Morley.Michelson.Typed |
| IsoNatPeano | Morley.Util.Peano, Morley.Util.SizedList, Morley.Util.SizedList.Types |
| IsoRecTuple | Morley.Util.TypeTuple.Class, Morley.Util.TypeTuple |
| IsoValue | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| 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 |
| isSomeOnIf | Morley.Michelson.Optimizer.Internal.Rules |
| isStar | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| isString | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| isStringValue | Morley.Michelson.Typed.Util, Morley.Michelson.Typed |
| isTickets | Morley.Michelson.Runtime.GState |
| isTicketsL | Morley.Michelson.Runtime.GState |
| 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.Internal.ViewName, 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 |
| 3 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| 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 |