| Name | Morley.Util.Named |
| NamedF | Morley.Util.Named |
| NamedInner | Morley.Util.Named |
| namedL | Morley.Util.Named |
| namedParser | Morley.Util.CLI |
| NAT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| needsParens | Morley.Michelson.Printer.Util |
| NEG | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Neg | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| negate | Morley.Tezos.Crypto.BLS12381 |
| NegativeNat | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| NEQ | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Neq | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| Nested | |
| 1 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| Nesting | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| NEVER | |
| 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 |
| nextHeaderLevel | Morley.Util.Markdown |
| NiceGeneric | Morley.Util.Generic |
| NIL | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Nil | Morley.Util.SizedList, Morley.Util.SizedList.Types |
| Nil' | Morley.Util.SizedList, Morley.Util.SizedList.Types |
| noAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| noBoundVars | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| NoChildren | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| NoChildrenSym0 | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types |
| node | Morley.Michelson.Typed.AnnotatedValue |
| nodes | Morley.Michelson.Typed.AnnotatedValue |
| noDipNeeded | Morley.Michelson.Optimizer.Internal.Rules |
| NoFields | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| NONE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| NonTypedInstr | Morley.Michelson.TypeCheck.TypeCheckedOp, Morley.Michelson.TypeCheck.TypeCheckedSeq |
| Nop | |
| 1 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.ClassifiedInstr.Internal.InstrEnum |
| nopIsNeutralForSeq | Morley.Michelson.Optimizer.Internal.Rules |
| NoStkElMeta | |
| 1 (Type/Class) | Morley.Michelson.Interpret |
| 2 (Data Constructor) | Morley.Michelson.Interpret |
| NOT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| Not | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| note | Morley.Michelson.Parser.Annotations |
| noteDef | Morley.Michelson.Parser.Annotations |
| noteF | Morley.Michelson.Parser.Annotations |
| NotEnoughItemsOnStack | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| Notes | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| notes | Morley.Michelson.Parser |
| notesAsRPC | Morley.AsRPC |
| notesSing | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| notesT | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| notesTF | Morley.Michelson.Parser.Annotations |
| notesTV | Morley.Michelson.Parser.Annotations |
| notesTVF | Morley.Michelson.Parser.Annotations |
| notesTVF2Def | Morley.Michelson.Parser.Annotations |
| notesVF | Morley.Michelson.Parser.Annotations |
| notesVVFF | Morley.Michelson.Parser.Annotations |
| noteV | Morley.Michelson.Parser.Annotations |
| noteV2Def | Morley.Michelson.Parser.Annotations |
| notIf | Morley.Michelson.Optimizer.Internal.Rules |
| NotNumericTypes | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| NotWellTyped | |
| 1 (Type/Class) | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| 2 (Data Constructor) | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| NOW | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| nowOption | Morley.CLI |
| NTAddress | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBigMap | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBls12381Fr | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBls12381G1 | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBls12381G2 | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBool | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTBytes | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTChainId | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTChest | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTChestKey | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTContract | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTInt | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTKey | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTKeyHash | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTLambda | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTList | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTMap | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTMutez | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTNat | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTNever | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTOperation | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTOption | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTOr | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTPair | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTSaplingState | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTSaplingTransaction | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTSet | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTSignature | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTString | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTTicket | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTTimestamp | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NTUnit | Morley.Michelson.Typed.Annotation, Morley.Michelson.Typed |
| NullConstraint | Morley.Util.Constrained |
| NumChildren | Morley.Michelson.Typed.ClassifiedInstr.Internal.Types, Morley.Michelson.Typed.ClassifiedInstr |
| numChildren | Morley.Michelson.Typed.ClassifiedInstr.Internal.Classifiers.NumChildren |
| nwtBadType | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| nwtCause | Morley.Michelson.Typed.Scope.Internal.WellTyped, Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |