| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusLedgerApi.Test.V4.EvaluationContext
Synopsis
- costModelParamsForTesting ∷ HasCallStack ⇒ [(ParamName, Int64)]
- mCostModel ∷ MCostModel
- clearMachineCostModel ∷ m ~ MCekMachineCosts ⇒ m → m
- clearBuiltinCostModel ∷ m ~ MBuiltinCostModel ⇒ m → m
Documentation
costModelParamsForTesting ∷ HasCallStack ⇒ [(ParamName, Int64)] Source #
Example values of costs for PlutusV4, in expected ledger order.
Suitable to be used in testing.
mCostModel ∷ MCostModel Source #
The PlutusV4 "cost model" is the full cost model: there is no later ledger language whose introductions would have to be cleared.
clearMachineCostModel ∷ m ~ MCekMachineCosts ⇒ m → m Source #
Assign to mempty those CEK constructs that PlutusV4 introduces (indirectly by introducing
a ledger language version with those CEK constructs).
This can be used to generate a (machine) cost model of the previous plutus version,
by omitting the generation of the costs concerning the missing PlutusV4 CEK constructs.
clearBuiltinCostModel ∷ m ~ MBuiltinCostModel ⇒ m → m Source #
Assign to mempty those builtins that the PlutusV4 introduces.
This can be used to generate a (builtin) cost model of the previous version
by omitting the generation of the costs concerning the missing PlutusV4 builtins.