plutus-core-1.0.0.1: Language library for Plutus Core

Index - D

Data PlutusCore.Data
dataTy PlutusCore.StdLib.Data.Data
Datatype
1 (Type/Class) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
2 (Data Constructor) PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
DatatypeBind PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
DatatypeComponent
1 (Type/Class) PlutusIR.Compiler
2 (Data Constructor) PlutusIR.Compiler
DatatypeDef PlutusIR.MkPir
datatypeNameString PlutusIR.Core.Type , PlutusIR.Core, PlutusIR
datatypeSubkinds PlutusIR.Core.Plated , PlutusIR.Core
datatypeSubtypes PlutusIR.Core.Plated , PlutusIR.Core, PlutusIR
DatatypeType PlutusIR.Compiler
dbnIndex PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
DeBruijn
1 (Type/Class) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
2 (Data Constructor) PlutusCore.DeBruijn , UntypedPlutusCore.DeBruijn , PlutusCore , UntypedPlutusCore
deBruijnInitIndex PlutusCore.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
deBruijnTy PlutusCore.DeBruijn
deBruijnTyWith PlutusCore.DeBruijn
debugPrettyConfigName PlutusCore.Pretty
debugPrettyConfigPlcClassic PlutusCore.Pretty
debugPrettyConfigPlcReadable PlutusCore.Pretty
decodeBuiltin PlutusCore.Default , PlutusCore.Builtin.Debug
decodeKindedUni Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
decodeProgram UntypedPlutusCore.Core , UntypedPlutusCore
decodeTerm UntypedPlutusCore.Core , UntypedPlutusCore
decodeTermTag UntypedPlutusCore.Core , UntypedPlutusCore
DecodeUniM
1 (Type/Class) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
2 (Data Constructor) Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
DecodeUtf8 PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Def
1 (Type/Class) PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
2 (Data Constructor) PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defaultBuiltinCostModel PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultBuiltinsRuntime PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekCostModel PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekMachineCosts PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCekParameters PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultCompilationOpts PlutusIR.Compiler
defaultCostModelParams PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
DefaultFun PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
defaultSimplifyOpts UntypedPlutusCore
DefaultUni PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore , UntypedPlutusCore
DefaultUniApply PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniBool PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniByteString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniData PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoList PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniProtoPair PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniString PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
DefaultUniUnit PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
defaultUnliftingMode PlutusCore.Evaluation.Machine.ExBudgetingDefaults , PlutusCore
defaultVersion PlutusCore.Core , PlutusCore.Builtin.Debug, PlutusCore
defBuiltinsRuntimeExt PlutusCore.Examples.Builtins
defineDatatype PlutusIR.Compiler.Definitions
defineTerm PlutusIR.Compiler.Definitions
defineType PlutusIR.Compiler.Definitions
defPrettyConfigName PlutusCore.Pretty
defPrettyConfigPlcClassic PlutusCore.Pretty
defPrettyConfigPlcOptions PlutusCore.Pretty
defPrettyConfigPlcReadable PlutusCore.Pretty
DefT PlutusIR.Compiler.Definitions
defVal PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
defVar PlutusCore.MkPlc , PlutusIR.MkPir, UntypedPlutusCore.MkUPlc
Delay UntypedPlutusCore.Core.Type , UntypedPlutusCore.Core, UntypedPlutusCore
DelayF UntypedPlutusCore.Core , UntypedPlutusCore
demoteKind PlutusCore.Builtin
deriveGCompare Universe , PlutusCore.Default, PlutusCore.Builtin.Debug
deriveGEq Universe , PlutusCore.Default, PlutusCore.Builtin.Debug, PlutusCore
Destructor PlutusIR.Compiler
DestructorType PlutusIR.Compiler
DisappearedBindings PlutusCore.Check.Scoping
DisappearedVariables PlutusCore.Check.Scoping
Disappears
1 (Data Constructor) PlutusCore.Check.Scoping
2 (Type/Class) PlutusCore.Check.Scoping
DisappearsBinding PlutusCore.Check.Scoping
DisappearsVariable PlutusCore.Check.Scoping
dischargeCekValue UntypedPlutusCore.Evaluation.Machine.Cek.Internal
display PlutusPrelude , PlutusCore.Pretty
displayBy PlutusCore.Pretty
displayPlcCondensedErrorClassic PlutusCore.Pretty
displayPlcDebug PlutusCore.Pretty
displayPlcDef PlutusCore.Pretty
DivideInteger PlutusCore.Default , PlutusCore.Builtin.Debug, PlutusCore
Doc PlutusPrelude , PlutusCore.Pretty
Dupable PlutusCore.Rename
DuplicateBindersInTheInput PlutusCore.Check.Scoping
DuplicateBindersInTheOutput PlutusCore.Check.Scoping