| UMarkerPlainField | Lorentz.UStore.Types |
| unAnnotation | Michelson.Untyped.Annotation, Michelson.Untyped |
| unaryArithImpl | Michelson.TypeCheck.Helpers |
| UnaryArithOp | Michelson.Typed.Arith, Michelson.Typed |
| UnaryArithOpHs | Lorentz.Arith, Lorentz |
| UnaryArithRes | Michelson.Typed.Arith, Michelson.Typed |
| UnaryArithResHs | Lorentz.Arith, Lorentz |
| unBigMap | Michelson.Typed.Haskell.Value, Michelson.Typed.Haskell, Michelson.Typed, Lorentz.Value, Lorentz |
| unChainId | Tezos.Core |
| undefined | Lorentz.Prelude, Lorentz |
| unEpName | Michelson.Untyped.EntryPoints, Michelson.Untyped, Michelson.Typed.EntryPoints, Michelson.Typed |
| UnexpectedExecutorError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| UnexpectedParamType | Michelson.Interpret |
| UnexpectedStorageType | Michelson.Interpret |
| UnexpectedTypeCheckError | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| UnexpectedUpdates | Michelson.Test.Integrational, Lorentz.Test.Integrational, Lorentz.Test |
| unFutureContract | Lorentz.Coercions, Lorentz |
| unifyAnn | Michelson.Untyped.Annotation, Michelson.Untyped |
| unInternalByteString | Michelson.Untyped.Value, Michelson.Untyped |
| UNIT | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| unit | Lorentz.Instr, Lorentz |
| UnknownContract | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| UnknownTypeException | Michelson.Parser.Error, Michelson.Parser |
| unliftUStore | Lorentz.UStore.Lift, Lorentz.UStore, Lorentz |
| unLorentzInstr | Lorentz.Base, Lorentz |
| unMigrationScript | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore, Lorentz |
| unMorleyLogs | Michelson.Interpret |
| unMText | Michelson.Text |
| unMutez | Tezos.Core |
| unOpSize | Michelson.OpSize |
| UNPACK | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| unpack | Lorentz.Instr, Lorentz |
| UnpackedValScope | Michelson.Typed.Scope, Michelson.Typed |
| UnpackError | |
| 1 (Type/Class) | Michelson.Interpret.Unpack |
| 2 (Data Constructor) | Michelson.Interpret.Unpack |
| UnpackUParam | Lorentz.UParam, Lorentz |
| unpackUParam | Lorentz.UParam, Lorentz |
| unpackValue | Michelson.Interpret.Unpack |
| unpackValue' | Michelson.Interpret.Unpack |
| UNPAIR | Michelson.Macro |
| unpair | Lorentz.Macro, Lorentz |
| unParameterWraper | Lorentz.EntryPoints.Manual, Lorentz.EntryPoints, Lorentz |
| unParamNotes | Michelson.Typed.EntryPoints, Michelson.Typed |
| unPositive | Util.Positive |
| unPrintComment | Michelson.Typed.Instr, Michelson.Typed |
| unPublicKey | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| unsafeAddMutez | Tezos.Core |
| unsafeEmptyUStore | Lorentz.UStore.Instr |
| unsafeMkMutez | Tezos.Core |
| unsafeParseAddress | Tezos.Address |
| unsafeParseContractHash | Tezos.Address |
| unsafeParseEpAddress | Michelson.Typed.EntryPoints, Michelson.Typed |
| unsafeSubMutez | Tezos.Core |
| unSignature | |
| 1 (Function) | Tezos.Crypto.Secp256k1 |
| 2 (Function) | Tezos.Crypto.P256 |
| 3 (Function) | Tezos.Crypto.Ed25519 |
| UnspecifiedError | |
| 1 (Type/Class) | Lorentz.Errors, Lorentz |
| 2 (Data Constructor) | Lorentz.Errors, Lorentz |
| unStore | Lorentz.Store |
| UnsupportedTypes | Michelson.TypeCheck.Error, Michelson.TypeCheck |
| unTimestamp | Tezos.Core |
| untypeValue | Michelson.Typed.Convert, Michelson.Typed |
| unUnpackError | Michelson.Interpret.Unpack |
| unUPrintComment | Michelson.Untyped.Ext, Michelson.Untyped |
| unUStore | Lorentz.UStore.Types |
| unUStoreField | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| unUStoreSubMap | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| unVoidResult | Lorentz.Macro, Lorentz |
| Unwrapped | Lorentz.Coercions, Lorentz |
| unwrappedP | Util.Lens |
| unwrapUnsafe_ | Lorentz.ADT, Lorentz |
| unwrapUParam | Lorentz.UParam, Lorentz |
| unwrapView | Lorentz.Macro, Lorentz |
| unzipInstr | Lorentz.Zip |
| unzippingStack | Lorentz.Zip |
| UParam | Lorentz.UParam, Lorentz |
| UParamFallback | Lorentz.UParam, Lorentz |
| uparamFallbackFail | Lorentz.UParam, Lorentz |
| uparamFromAdt | Lorentz.UParam, Lorentz |
| UParamLinearize | Lorentz.UParam, Lorentz |
| UParamLinearized | Lorentz.UParam, Lorentz |
| UParamUnsafe | Lorentz.UParam, Lorentz |
| UParam_ | Lorentz.UParam, Lorentz |
| UPDATE | |
| 1 (Data Constructor) | Michelson.Untyped.Instr, Michelson.Untyped |
| 2 (Data Constructor) | Michelson.Typed.Instr, Michelson.Typed |
| update | Lorentz.Instr, Lorentz |
| updateNew | Lorentz.Instr, Lorentz |
| updImpl | Michelson.TypeCheck.Helpers |
| UpdOp | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpHs | Lorentz.Polymorphic, Lorentz |
| UpdOpKey | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpKeyHs | Lorentz.Polymorphic, Lorentz |
| UpdOpParams | Michelson.Typed.Polymorphic, Michelson.Typed |
| UpdOpParamsHs | Lorentz.Polymorphic, Lorentz |
| UPRINT | Michelson.Untyped.Ext, Michelson.Untyped |
| useHasEntryPointArg | Lorentz.EntryPoints.Core, Lorentz.EntryPoints, Lorentz |
| useNumericErrors | Lorentz.Errors.Numeric, Lorentz |
| UStore | |
| 1 (Type/Class) | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| 2 (Data Constructor) | Lorentz.UStore.Types |
| UStoreContent | Lorentz.UStore.Haskell |
| UStoreConversible | Lorentz.UStore.Haskell, Lorentz.UStore, Lorentz |
| ustoreDecompose | Lorentz.UStore.Haskell, Lorentz.UStore, Lorentz |
| ustoreDecomposeFull | Lorentz.UStore.Haskell, Lorentz.UStore, Lorentz |
| ustoreDelete | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| UStoreField | |
| 1 (Type/Class) | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| 2 (Data Constructor) | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| UStoreFieldExt | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| UStoreFieldsAreUnique | Lorentz.UStore.Lift |
| ustoreGet | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| ustoreGetField | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| ustoreInsert | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| ustoreInsertNew | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| UStoreMarkerType | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| ustoreMem | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| UStoreMigration | |
| 1 (Type/Class) | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore, Lorentz |
| 2 (Data Constructor) | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| UStoreMigrationCompiled | |
| 1 (Type/Class) | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| 2 (Data Constructor) | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| ustoreRemoveFieldUnsafe | Lorentz.UStore.Instr |
| ustoreSetField | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| UStoreSubMap | Lorentz.UStore.Types, Lorentz.UStore, Lorentz |
| ustoreToField | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| ustoreUpdate | Lorentz.UStore.Instr, Lorentz.UStore, Lorentz |
| UStore_ | Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration |
| UTEST_ASSERT | Michelson.Untyped.Ext, Michelson.Untyped |
| utypeQ | Michelson.Parser |