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
|