plutus-core-1.0.0.1: Language library for Plutus Core

Index - D

DataPlutusCore.Data
dataTyPlutusCore.StdLib.Data.Data
Datatype 
1 (Type/Class)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
2 (Data Constructor)PlutusIR.Core.Type, PlutusIR.Core, PlutusIR
DatatypeBindPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
DatatypeComponent 
1 (Type/Class)PlutusIR.Compiler
2 (Data Constructor)PlutusIR.Compiler
DatatypeDefPlutusIR.MkPir
datatypeNameStringPlutusIR.Core.Type, PlutusIR.Core, PlutusIR
datatypeSubkindsPlutusIR.Core.Plated, PlutusIR.Core
datatypeSubtypesPlutusIR.Core.Plated, PlutusIR.Core, PlutusIR
DatatypeTypePlutusIR.Compiler
dbnIndexPlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
DeBruijn 
1 (Type/Class)PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
2 (Data Constructor)PlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, PlutusCore, UntypedPlutusCore
deBruijnInitIndexPlutusCore.DeBruijn, UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnTerm 
1 (Function)PlutusCore.DeBruijn, PlutusCore
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnTermWith 
1 (Function)PlutusCore.DeBruijn
2 (Function)UntypedPlutusCore.DeBruijn, UntypedPlutusCore
deBruijnTyPlutusCore.DeBruijn
deBruijnTyWithPlutusCore.DeBruijn
debugPrettyConfigNamePlutusCore.Pretty
debugPrettyConfigPlcClassicPlutusCore.Pretty
debugPrettyConfigPlcReadablePlutusCore.Pretty
decodeBuiltinPlutusCore.Default, PlutusCore.Builtin.Debug
decodeKindedUniUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
decodeProgramUntypedPlutusCore.Core, UntypedPlutusCore
decodeTermUntypedPlutusCore.Core, UntypedPlutusCore
decodeTermTagUntypedPlutusCore.Core, UntypedPlutusCore
DecodeUniM 
1 (Type/Class)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
2 (Data Constructor)Universe, PlutusCore.Default, PlutusCore.Builtin.Debug
DecodeUtf8PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Def 
1 (Type/Class)PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
2 (Data Constructor)PlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defaultBuiltinCostModelPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultBuiltinsRuntimePlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultCekCostModelPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultCekMachineCostsPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultCekParametersPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultCompilationOptsPlutusIR.Compiler
defaultCostModelParamsPlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
DefaultFunPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
defaultSimplifyOptsUntypedPlutusCore
DefaultUniPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore, UntypedPlutusCore
DefaultUniApplyPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBoolPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniByteStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniDataPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniListPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoListPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoPairPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniStringPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DefaultUniUnitPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
defaultUnliftingModePlutusCore.Evaluation.Machine.ExBudgetingDefaults, PlutusCore
defaultVersionPlutusCore.Core, PlutusCore.Builtin.Debug, PlutusCore
defBuiltinsRuntimeExtPlutusCore.Examples.Builtins
defineDatatypePlutusIR.Compiler.Definitions
defineTermPlutusIR.Compiler.Definitions
defineTypePlutusIR.Compiler.Definitions
defPrettyConfigNamePlutusCore.Pretty
defPrettyConfigPlcClassicPlutusCore.Pretty
defPrettyConfigPlcOptionsPlutusCore.Pretty
defPrettyConfigPlcReadablePlutusCore.Pretty
DefTPlutusIR.Compiler.Definitions
defValPlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defVarPlutusCore.MkPlc, PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
DelayUntypedPlutusCore.Core.Type, UntypedPlutusCore.Core, UntypedPlutusCore
DelayFUntypedPlutusCore.Core, UntypedPlutusCore
demoteKindPlutusCore.Builtin
deriveGCompareUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug
deriveGEqUniverse, PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DestructorPlutusIR.Compiler
DestructorTypePlutusIR.Compiler
DisappearedBindingsPlutusCore.Check.Scoping
DisappearedVariablesPlutusCore.Check.Scoping
Disappears 
1 (Data Constructor)PlutusCore.Check.Scoping
2 (Type/Class)PlutusCore.Check.Scoping
DisappearsBindingPlutusCore.Check.Scoping
DisappearsVariablePlutusCore.Check.Scoping
dischargeCekValueUntypedPlutusCore.Evaluation.Machine.Cek.Internal
displayPlutusPrelude, PlutusCore.Pretty
displayByPlutusCore.Pretty
displayPlcCondensedErrorClassicPlutusCore.Pretty
displayPlcDebugPlutusCore.Pretty
displayPlcDefPlutusCore.Pretty
DivideIntegerPlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
DocPlutusPrelude, PlutusCore.Pretty
DupablePlutusCore.Rename
DuplicateBindersInTheInputPlutusCore.Check.Scoping
DuplicateBindersInTheOutputPlutusCore.Check.Scoping