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

PlutusLedgerApi.Test.V3.EvaluationContext

Synopsis

Documentation

costModelParamsForTesting ∷ [(ParamName, Int64)] Source #

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

mCostModelMCostModel Source #

The PlutusV3 "cost model" is constructed by the v4 "cost model", by clearing v4 introductions.

clearMachineCostModel ∷ m ~ MCekMachineCosts ⇒ m → m Source #

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

clearBuiltinCostModel ∷ m ~ MBuiltinCostModel ⇒ m → m Source #

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