Moduleplutus-core-1.70.0.0
PlutusCore.Evaluation.Machine.ExBudget
Synopsis
- value enormousBudget
- value largeBudget
- value minusExBudget
- data ExBudget
- class ExBudgetBuiltin
- newtype ExRestrictingBudget
- Packageplutus-core-1.70.0.0
- Exports6
- LicenceApache-2.0
Constructors
Instances14Eq, Show, Generic, Semigroup, Monoid, NFData, …
Eq ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetShow ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetGeneric ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetSemigroup ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetMonoid ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetNFData ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetPretty ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetFromJSON ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetToJSON ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetSerialise ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetNoThunks ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetLift ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetPrettyBy config ExBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgettype Rep ExBudget = D1 ('MetaDataDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudget"ExBudget"
"PlutusCore.Evaluation.Machine.ExBudget"
"plutus-core-1.70.0.0-Fm0UMMu3hPx1PFomOkuIYM"
'False) (C1 ('MetaCons"ExBudget"
'PrefixI 'True) (S1 ('MetaSel ('Just"exBudgetCPU"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExCPU) :*: S1 ('MetaSel ('Just"exBudgetMemory"
) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 ExMemory)))
Methods
exBudgetBuiltin :: fun -> exBudgetCat
Instances2ExBudgetBuiltin
ExBudgetBuiltin fun ()Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetExBudgetBuiltin fun (ExBudgetCategory fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
Constructors
Instances7Eq, Show, Semigroup, Monoid, NFData, Pretty, …
Eq ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetShow ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetSemigroup ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetMonoid ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetNFData ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetPretty ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudgetPrettyBy config ExRestrictingBudgetDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.ExBudget