| UCOMMENT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| UF | Morley.Michelson.Macro |
| unAnchor | Morley.Util.Markdown |
| unAnnotation | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| unaryArithImpl | Morley.Michelson.TypeCheck.Helpers |
| unaryArithImplAnnotated | Morley.Michelson.TypeCheck.Helpers |
| UnaryArithOp | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed |
| UnaryArithRes | Morley.Michelson.Typed.Arith, Morley.Michelson.Typed, Morley.Michelson.Typed |
| unBigMapId | Morley.Michelson.Typed.Haskell.Value, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unChainId | Morley.Tezos.Core |
| unDynamicSize | Morley.Micheline.Binary.Internal |
| unEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| Unescaping | Morley.Util.Interpolate.Internal |
| UnexpectedLength | Morley.Tezos.Crypto.BLS12381 |
| UnexpectedTopLevelType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| UnexpectedType | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unGlobalCounter | Morley.Tezos.Address |
| unHexJSONByteString | Morley.Util.ByteString |
| unifyAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| unifyPairFieldAnn | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| Unindenting | Morley.Util.Interpolate.Internal |
| unInternalByteString | Morley.Michelson.Untyped.Value, Morley.Michelson.Untyped |
| UNIT | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnknownContract | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unknownTag | Morley.Util.Binary |
| unMorleyLogs | Morley.Michelson.Interpret |
| unMText | Morley.Michelson.Text |
| unMutez | Morley.Tezos.Core |
| unOperationHash | Morley.Michelson.Typed.Operation |
| unOpSize | Morley.Michelson.Untyped.OpSize, Morley.Michelson.Untyped, Morley.Michelson.Typed.OpSize, Morley.Michelson.Typed |
| UNPACK | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnpackedValScope | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| UnpackError | |
| 1 (Type/Class) | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| unpackInstr' | Morley.Michelson.Interpret.Unpack |
| unpackUValue' | Morley.Michelson.Interpret.Unpack |
| unpackValue' | Morley.Michelson.Interpret.Unpack |
| UNPAIR | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnpairArgument | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| UNPAIRN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UnpairN | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| unpairOp | Morley.Michelson.Parser.Instr |
| UnpairStruct | Morley.Michelson.Macro |
| UNPAPAIR | Morley.Michelson.Macro |
| unPos | Morley.Michelson.ErrorPos |
| unPositive | Morley.Util.Positive |
| unPrintComment | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| unPublicKey | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| unRule | Morley.Michelson.Optimizer |
| unsafeAddMutez | Morley.Tezos.Core |
| UnsafeAnnotation | Morley.Michelson.Untyped.Annotation, Morley.Michelson.Untyped |
| UnsafeChainId | Morley.Tezos.Core |
| unsafeConcreteTypeDocHaskellRep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unsafeConcreteTypeDocMichelsonRep | Morley.Michelson.Typed.Haskell.Doc, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| unsafeEpcCallRoot | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| UnsafeEpName | Morley.Michelson.Untyped.Entrypoints, Morley.Michelson.Untyped, Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unsafeFromList | Morley.Util.SizedList |
| unsafeInstrUnwrap | Morley.Michelson.Typed.Haskell.Instr.Sum, Morley.Michelson.Typed.Haskell.Instr, Morley.Michelson.Typed.Haskell, Morley.Michelson.Typed |
| UnsafeMText | Morley.Michelson.Text |
| unsafeMulMutez | Morley.Tezos.Core |
| UnsafeMutez | Morley.Tezos.Core |
| UnsafeParamNotes | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| UnsafePositive | Morley.Util.Positive |
| unsafeProvideConstraint | Morley.Util.Type |
| unsafeReadFromHex | Morley.Tezos.Crypto.BLS12381 |
| unsafeSepcCallRoot | Morley.Michelson.Typed.Entrypoints, Morley.Michelson.Typed |
| unsafeSubMutez | Morley.Tezos.Core |
| UnsafeTLTime | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| UnsafeViewName | Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| UnsafeViewsSet | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unsafeWithWTP | Morley.Michelson.TypeCheck.Types, Morley.Michelson.TypeCheck |
| unSignature | |
| 1 (Function) | Morley.Tezos.Crypto.Secp256k1 |
| 2 (Function) | Morley.Tezos.Crypto.P256 |
| 3 (Function) | Morley.Tezos.Crypto.Ed25519 |
| unStringEncode | Morley.Micheline.Json, Morley.Micheline |
| UnsupportedTypeForScope | Morley.Michelson.TypeCheck.Error, Morley.Michelson.TypeCheck |
| unTezosMutez | Morley.Micheline.Json, Morley.Micheline |
| unTimestamp | Morley.Tezos.Core |
| unTLTime | Morley.Tezos.Crypto.Timelock, Morley.Tezos.Crypto |
| untypeDemoteT | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| UntypedValScope | Morley.Michelson.Typed.Scope, Morley.Michelson.Typed |
| untypeValue | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| untypeValueHashable | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| untypeValueOptimized | Morley.Michelson.Typed.Convert, Morley.Michelson.Typed |
| unUnpackError | Morley.Util.Binary, Morley.Michelson.Interpret.Unpack |
| unUPrintComment | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| unViewName | Morley.Michelson.Untyped.View, Morley.Michelson.Untyped, Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unViewsSet | Morley.Michelson.Typed.View, Morley.Michelson.Typed |
| unwrapT | Morley.Michelson.Untyped.Type, Morley.Michelson.Untyped |
| unzip | Morley.Util.SizedList |
| unzipWith | Morley.Util.SizedList |
| UP | Morley.Michelson.Macro |
| uparamTypeQ | Morley.Michelson.Parser |
| UPDATE | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UPDATEN | |
| 1 (Data Constructor) | Morley.Michelson.Untyped.Instr, Morley.Michelson.Untyped |
| 2 (Data Constructor) | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| UpdateN | Morley.Michelson.Typed.Instr, Morley.Michelson.Typed |
| updImpl | Morley.Michelson.TypeCheck.Helpers |
| UpdOp | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed |
| UpdOpKey | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed, Morley.Michelson.Typed |
| UpdOpParams | Morley.Michelson.Typed.Polymorphic, Morley.Michelson.Typed, Morley.Michelson.Typed |
| UPRINT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| UTEST_ASSERT | Morley.Michelson.Untyped.Ext, Morley.Michelson.Untyped |
| utypeQ | Morley.Michelson.Parser |