plutus-core-1.0.0.1: Language library for Plutus Core

Index - U

UnannotatedNamePlutusCore.Check.Scoping
unAsSerializePlutusCore.Flat
UnBDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
unBinderPlutusCore.Core, PlutusCore.Builtin.Debug, UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
unBuiltinRuntimePlutusCore.Builtin
unBuiltinTypesPlutusCore, PlutusIR.TypeCheck
unCekBudgetSpenderUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
unCekMUntypedPlutusCore.Evaluation.Machine.Cek.Internal
UnConstrDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
uncurryPlutusCore.StdLib.Data.Pair
unDeBruijnTerm 
1 (Function)PlutusCore.DeBruijn, PlutusCore
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
unDeBruijnTermWith 
1 (Function)PlutusCore.DeBruijn
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
unDeBruijnTyPlutusCore.DeBruijn
unDeBruijnTyWithPlutusCore.DeBruijn
unDecodeUniMUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
UndefinedPlutusCore.Examples.Builtins
unEmitterPlutusCore.Builtin.Emitter, PlutusCore.Builtin
unEmitterModeUntypedPlutusCore.Evaluation.Machine.Cek.Internal
unExBudgetModeUntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
UnexpectedBuiltinTermArgumentMachineErrorPlutusCore.Evaluation.Machine.Exception
unExRestrictingBudgetPlutusCore.Evaluation.Machine.ExBudget
unFolderContentsPlutusCore.FsTree
UnIDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
unIgnorePrettyConfigPlutusCore.Pretty
UniOfPlutusCore.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
uniquePlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
UniqueCoherencyErrorEPlutusCore.Error, PlutusCore
UniqueErrorPlutusCore.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
uniquesTypePlutusCore.Subst, PlutusIR.Subst
unit 
1 (Function)PlutusCore.StdLib.Data.Unit
2 (Function)PlutusCore.StdLib.Data.ScottUnit
unitCekMachineCostsPlutusCore.Evaluation.Machine.ExBudgetingDefaults
unitCekParametersPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
unitval 
1 (Function)PlutusCore.StdLib.Data.Unit
2 (Function)PlutusCore.StdLib.Data.ScottUnit
UnknownBuiltinPlutusCore.Evaluation.Machine.Exception
UnknownBuiltinFunctionPlutusCore.Error, PlutusCore.Parser, PlutusCore
UnknownBuiltinFunctionEPlutusCore.Error
UnknownBuiltinTypePlutusCore.Error, PlutusCore.Parser, PlutusCore
UnliftingDeferredPlutusCore.Builtin, PlutusCore
UnliftingErrorPlutusCore.Evaluation.Machine.Exception
UnliftingErrorEPlutusCore.Evaluation.Machine.Exception
UnliftingImmediatePlutusCore.Builtin, PlutusCore
UnliftingMachineErrorPlutusCore.Evaluation.Machine.Exception
UnliftingModePlutusCore.Builtin, PlutusCore
UnListDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
UnMapDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
unNameDeBruijnPlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
unNameTyDeBruijnPlutusCore.DeBruijn
unNormalizedPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Error
unOpaquePlutusCore.Builtin, PlutusCore.Builtin.Debug
unPairTPlutusPrelude
unPrettyAnyPlutusPrelude
unQuoteTPlutusCore.Quote
unRenameTPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
unRenamingPlutusCore.Rename.Monad, PlutusCore.Rename.Internal
unrollPlutusCore.StdLib.Data.Function
UnsafeCoercePlutusCore.Examples.Builtins
UnsafeCoerceElPlutusCore.Examples.Builtins
unsafeEvaluateCekUntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCekNoEmitUntypedPlutusCore.Evaluation.Machine.Cek
unsafeEvaluateCkPlutusCore.Evaluation.Machine.Ck
unsafeEvaluateCkNoEmitPlutusCore.Evaluation.Machine.Ck
unsafeExtractEvaluationResultPlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek
unsafeRunCekNoEmitUntypedPlutusCore.Evaluation.Machine.Cek
unScopeErrorOrInfoPlutusCore.Check.Scoping
unScopeInfoPlutusCore.Check.Scoping
unShowPrettyPlutusPrelude
unSizePlutusIR.Analysis.RetainedSize
unSomeConstantPlutusCore.Builtin, PlutusCore.Builtin.Debug
UnsupportedErrorPlutusIR.Error, PlutusIR.Compiler
unTermUniquePlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
unTyNamePlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, PlutusIR.Core.Type, PlutusIR.Core, PlutusIR, UntypedPlutusCore
unTypeUniquePlutusCore.Name, PlutusCore.Builtin.Debug, UntypedPlutusCore
unUniquePlutusCore.Name, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
unUniqueMapPlutusCore.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
unwrapPlutusCore.MkPlc, PlutusIR.MkPir
unwrapCancelPlutusIR.Transform.Unwrap
UnwrapFPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
UserEvaluationErrorPlutusCore.Evaluation.Machine.Exception, UntypedPlutusCore.Evaluation.Machine.Cek.Internal, UntypedPlutusCore.Evaluation.Machine.Cek
UTermDefUntypedPlutusCore.MkUPlc
UVarDecl 
1 (Type/Class)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
2 (Data Constructor)UntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
uvarDeclAnnUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore
uvarDeclNameUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore.MkUPlc, UntypedPlutusCore