plutus-ledger-api-1.30.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusLedgerApi.Test.V2.EvaluationContext

Synopsis

Documentation

costModelParamsForTesting ∷ [(ParamName, Int64)] Source #

Example values of costs for PlutusV2, in expected ledger order. Suitable to be used in testing.

mCostModelMCostModel Source #

The PlutusV2 "cost model" is constructed by the v3 "cost model", by clearing v3 introductions.

clearMachineCostModel ∷ m ~ MCekMachineCosts ⇒ m → m Source #

Assign to mempty those CEK constructs that PlutusV2 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 PlutusV2 CEK constructs.

clearBuiltinCostModel ∷ m ~ MBuiltinCostModel ⇒ m → m Source #

Assign to mempty those builtins that the PlutusV2 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 PlutusV2 builtins.