Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
PlutusCore.Evaluation.Machine.MachineParameters
Synopsis
- data CostModel machinecosts builtincosts = CostModel {
- _machineCostModel ∷ machinecosts
- _builtinCostModel ∷ builtincosts
- machineCostModel ∷ ∀ machinecosts builtincosts machinecosts. Lens (CostModel machinecosts builtincosts) (CostModel machinecosts builtincosts) machinecosts machinecosts
- builtinCostModel ∷ ∀ machinecosts builtincosts builtincosts. Lens (CostModel machinecosts builtincosts) (CostModel machinecosts builtincosts) builtincosts builtincosts
- data MachineVariantParameters machineCosts fun val = MachineVariantParameters {
- machineCosts ∷ machineCosts
- builtinsRuntime ∷ BuiltinsRuntime fun val
- data MachineParameters machineCosts fun val = MachineParameters {
- machineCaserBuiltin ∷ CaserBuiltin (UniOf val)
- machineVariantParameters ∷ MachineVariantParameters machineCosts fun val
- mkMachineVariantParameters ∷ (CostingPart uni fun ~ builtincosts, HasMeaningIn uni val, ToBuiltinMeaning uni fun) ⇒ BuiltinSemanticsVariant fun → CostModel machineCosts builtincosts → MachineVariantParameters machineCosts fun val
Documentation
data CostModel machinecosts builtincosts Source #
We need to account for the costs of evaluator steps and also built-in function evaluation. The models for these have different structures and are used in different parts of the code, so inside the valuator we pass separate objects about most of the time . It's convenient for clients of the evaluator to only have to worry about a single object, so the CostModel type bundles the two together. We could conceivably have different evaluators with different internal costs, so we keep the machine costs abstract. The model for Cek machine steps is in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts.
Constructors
CostModel | |
Fields
|
machineCostModel ∷ ∀ machinecosts builtincosts machinecosts. Lens (CostModel machinecosts builtincosts) (CostModel machinecosts builtincosts) machinecosts machinecosts Source #
builtinCostModel ∷ ∀ machinecosts builtincosts builtincosts. Lens (CostModel machinecosts builtincosts) (CostModel machinecosts builtincosts) builtincosts builtincosts Source #
data MachineVariantParameters machineCosts fun val Source #
The part of MachineParameters
that is individual for each semantics variant of DefaultFun
.
CaserBuiltin
isn't included, because it only explicitly depends on the protocol version and not
the language version (even though there's an implicit dependency on the language version: older
languages don't support Case
in general, but it's safe to ignore that, because support for
Case
is controlled by the AST version, which is a separate check during deserialisation).
Constructors
MachineVariantParameters | |
Fields
|
Instances
data MachineParameters machineCosts fun val Source #
At execution time we need a BuiltinsRuntime
object which includes both the cost model for
builtins and their denotations. This bundles one of those together with the cost model for evaluator
steps and a CaserBuiltin
specifying how casing on values of built-in types works.
The val
type will be CekValue
when we're using this with the CEK machine.
Constructors
MachineParameters | |
Fields
|
Instances
Generic (MachineParameters machineCosts fun val) Source # | |
Defined in PlutusCore.Evaluation.Machine.MachineParameters Methods from ∷ MachineParameters machineCosts fun val → Rep (MachineParameters machineCosts fun val) x Source # to ∷ Rep (MachineParameters machineCosts fun val) x → MachineParameters machineCosts fun val Source # | |
(NFData machineCosts, Bounded fun, Enum fun) ⇒ NFData (MachineParameters machineCosts fun val) Source # | |
Defined in PlutusCore.Evaluation.Machine.MachineParameters Methods rnf ∷ MachineParameters machineCosts fun val → () Source # | |
(NoThunks machinecosts, Bounded fun, Enum fun) ⇒ NoThunks (MachineParameters machinecosts fun val) Source # | |
type Rep (MachineParameters machineCosts fun val) Source # | |
Defined in PlutusCore.Evaluation.Machine.MachineParameters type Rep (MachineParameters machineCosts fun val) = D1 ('MetaData "MachineParameters" "PlutusCore.Evaluation.Machine.MachineParameters" "plutus-core-1.48.0.0-inplace" 'False) (C1 ('MetaCons "MachineParameters" 'PrefixI 'True) (S1 ('MetaSel ('Just "machineCaserBuiltin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (CaserBuiltin (UniOf val))) :*: S1 ('MetaSel ('Just "machineVariantParameters") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (MachineVariantParameters machineCosts fun val)))) |
mkMachineVariantParameters ∷ (CostingPart uni fun ~ builtincosts, HasMeaningIn uni val, ToBuiltinMeaning uni fun) ⇒ BuiltinSemanticsVariant fun → CostModel machineCosts builtincosts → MachineVariantParameters machineCosts fun val Source #
This just uses toBuiltinsRuntime
function to convert a BuiltinCostModel to a BuiltinsRuntime.