plutus-core-1.0.0.1: Language library for Plutus Core

Index - U

UnannotatedName PlutusCore.Check.Scoping
unAsSerialize PlutusCore.Flat
UnBData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unBinder PlutusCore.Core , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
unBuiltinRuntime PlutusCore.Builtin
unBuiltinTypes PlutusCore , PlutusIR.TypeCheck
unCekBudgetSpender UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
unCekM UntypedPlutusCore.Evaluation.Machine.Cek.Internal
UnConstrData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
uncurry PlutusCore.StdLib.Data.Pair
unDeBruijnTerm
1 (Function) PlutusCore.DeBruijn , PlutusCore
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unDeBruijnTermWith
1 (Function) PlutusCore.DeBruijn
2 (Function) UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unDeBruijnTy PlutusCore.DeBruijn
unDeBruijnTyWith PlutusCore.DeBruijn
unDecodeUniM Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
Undefined PlutusCore.Examples.Builtins
unEmitter PlutusCore.Builtin.Emitter , PlutusCore.Builtin
unEmitterMode UntypedPlutusCore.Evaluation.Machine.Cek.Internal
unExBudgetMode UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
UnexpectedBuiltinTermArgumentMachineError PlutusCore.Evaluation.Machine.Exception
unExRestrictingBudget PlutusCore.Evaluation.Machine.ExBudget
unFolderContents PlutusCore.FsTree
UnIData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unIgnorePrettyConfig PlutusCore.Pretty
UniOf PlutusCore.Core , PlutusCore.MkPlc , PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, PlutusCore , PlutusIR.MkPir, UntypedPlutusCore
Unique
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
unique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
UniqueCoherencyErrorE PlutusCore.Error , PlutusCore
UniqueError PlutusCore.Error , PlutusCore.Check.Uniques , UntypedPlutusCore.Check.Uniques , PlutusCore
UniqueMap
1 (Type/Class) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
uniquesTerm
1 (Function) PlutusCore.Subst
2 (Function) PlutusIR.Subst
3 (Function) UntypedPlutusCore
uniquesType PlutusCore.Subst , PlutusIR.Subst
unit
1 (Function) PlutusCore.StdLib.Data.Unit
2 (Function) PlutusCore.StdLib.Data.ScottUnit
unitCekMachineCosts PlutusCore.Evaluation.Machine.ExBudgetingDefaults
unitCekParameters PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
unitval
1 (Function) PlutusCore.StdLib.Data.Unit
2 (Function) PlutusCore.StdLib.Data.ScottUnit
UnknownBuiltin PlutusCore.Evaluation.Machine.Exception
UnknownBuiltinFunction PlutusCore.Error , PlutusCore.Parser , PlutusCore
UnknownBuiltinFunctionE PlutusCore.Error
UnknownBuiltinType PlutusCore.Error , PlutusCore.Parser , PlutusCore
UnliftingDeferred PlutusCore.Builtin , PlutusCore
UnliftingError PlutusCore.Evaluation.Machine.Exception
UnliftingErrorE PlutusCore.Evaluation.Machine.Exception
UnliftingImmediate PlutusCore.Builtin , PlutusCore
UnliftingMachineError PlutusCore.Evaluation.Machine.Exception
UnliftingMode PlutusCore.Builtin , PlutusCore
UnListData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
UnMapData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
unNameDeBruijn PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , UntypedPlutusCore
unNameTyDeBruijn PlutusCore.DeBruijn
unNormalized PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Error
unOpaque PlutusCore.Builtin , PlutusCore.Builtin.Debug
unPairT PlutusPrelude
unPrettyAny PlutusPrelude
unQuoteT PlutusCore.Quote
unRenameT PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
unRenaming PlutusCore.Rename.Monad , PlutusCore.Rename.Internal
unroll PlutusCore.StdLib.Data.Function
UnsafeCoerce PlutusCore.Examples.Builtins
UnsafeCoerceEl PlutusCore.Examples.Builtins
unsafeEvaluateCek UntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCk PlutusCore.Evaluation.Machine.Ck
unsafeEvaluateCkNoEmit PlutusCore.Evaluation.Machine.Ck
unsafeExtractEvaluationResult PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek
unsafeRunCekNoEmit UntypedPlutusCore.Evaluation.Machine.Cek
unScopeErrorOrInfo PlutusCore.Check.Scoping
unScopeInfo PlutusCore.Check.Scoping
unShowPretty PlutusPrelude
unSize PlutusIR.Analysis.RetainedSize
unSomeConstant PlutusCore.Builtin , PlutusCore.Builtin.Debug
UnsupportedError PlutusIR.Error , PlutusIR.Compiler
unTermUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
unTyName PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , PlutusIR.Core.Type , PlutusIR.Core, PlutusIR , UntypedPlutusCore
unTypeUnique PlutusCore.Name , PlutusCore.Builtin.Debug, UntypedPlutusCore
unUnique PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
unUniqueMap PlutusCore.Name , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
Unwrap
1 (Data Constructor) PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
unwrap PlutusCore.MkPlc , PlutusIR.MkPir
unwrapCancel PlutusIR.Transform.Unwrap
UnwrapF PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
UserEvaluationError PlutusCore.Evaluation.Machine.Exception , UntypedPlutusCore.Evaluation.Machine.Cek.Internal , UntypedPlutusCore.Evaluation.Machine.Cek
UTermDef UntypedPlutusCore.MkUPlc
UVarDecl
1 (Type/Class) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
2 (Data Constructor) UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
uvarDeclAnn UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore
uvarDeclName UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc , UntypedPlutusCore