plutus-core-1.60.0.0: Language library for Plutus Core

Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Synopsis

type CekMachineCosts = CekMachineCostsBase Text
unitCekMachineCosts :: CekMachineCosts

Documentation

type CekMachineCosts = CekMachineCostsBase Identity #

Costs for evaluating AST nodes. Times should be specified in picoseconds, memory sizes in bytes.

data CekMachineCostsBase f #

Constructors

CekMachineCostsBase

Fields

cekStartupCost :: f ExBudget
cekVarCost :: f ExBudget
cekConstCost :: f ExBudget
cekLamCost :: f ExBudget
cekDelayCost :: f ExBudget
cekForceCost :: f ExBudget
cekApplyCost :: f ExBudget
cekBuiltinCost :: f ExBudget
Just the cost of evaluating a Builtin node, not the builtin itself. There's no entry for Error since we'll be exiting anyway; also, what would happen if calling Error caused the budget to be exceeded?
cekConstrCost :: f ExBudget
cekCaseCost :: f ExBudget

Instances

Instances details

ConstraintsB CekMachineCostsBase #

Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts

Associated Types

type AllB c CekMachineCostsBase

Methods

baddDicts :: forall (c :: k -> Text #

The prefix of the field names in the CekMachineCosts type, used for extracting the CekMachineCosts component of the ledger's cost model parameters. See Note [Cost model parameters] in CostModelInterface.

unitCekMachineCosts :: CekMachineCosts #