Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- type CekMachineCosts = CekMachineCostsBase Identity
- data CekMachineCostsBase f = CekMachineCostsBase {
- cekStartupCost ∷ f ExBudget
- cekVarCost ∷ f ExBudget
- cekConstCost ∷ f ExBudget
- cekLamCost ∷ f ExBudget
- cekDelayCost ∷ f ExBudget
- cekForceCost ∷ f ExBudget
- cekApplyCost ∷ f ExBudget
- cekBuiltinCost ∷ f ExBudget
- cekConstrCost ∷ f ExBudget
- cekCaseCost ∷ f ExBudget
- cekMachineCostsPrefix ∷ Text
- unitCekMachineCosts ∷ CekMachineCosts
Documentation
type CekMachineCosts = CekMachineCostsBase Identity Source #
Costs for evaluating AST nodes. Times should be specified in picoseconds, memory sizes in bytes.
data CekMachineCostsBase f Source #
CekMachineCostsBase | |
|
Instances
cekMachineCostsPrefix ∷ Text Source #
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.