From 0102ac66150a6d63c23646989b08410e2366a0c7 Mon Sep 17 00:00:00 2001 From: Federico Mastellone Date: Tue, 25 Feb 2025 13:34:46 +0000 Subject: [PATCH] WIP: dummy ProtocolParameters --- .../Api/Internal/ProtocolParameters.hs | 21 +++++++++++++++++++ .../src/Cardano/Benchmarking/Script/Aeson.hs | 2 +- .../src/Cardano/Benchmarking/Script/Core.hs | 7 ++++--- .../src/Cardano/Benchmarking/Script/Types.hs | 3 ++- .../src/Cardano/TxGenerator/PlutusContext.hs | 2 +- .../src/Cardano/TxGenerator/PureExample.hs | 2 +- .../src/Cardano/TxGenerator/Setup/Plutus.hs | 3 ++- .../src/Cardano/TxGenerator/Types.hs | 3 +-- bench/tx-generator/tx-generator.cabal | 3 ++- 9 files changed, 35 insertions(+), 11 deletions(-) create mode 100644 bench/tx-generator/src/Cardano/Api/Internal/ProtocolParameters.hs diff --git a/bench/tx-generator/src/Cardano/Api/Internal/ProtocolParameters.hs b/bench/tx-generator/src/Cardano/Api/Internal/ProtocolParameters.hs new file mode 100644 index 00000000000..f77d8848ce1 --- /dev/null +++ b/bench/tx-generator/src/Cardano/Api/Internal/ProtocolParameters.hs @@ -0,0 +1,21 @@ +-- | The various Cardano protocol parameters, including: +-- +-- * the current values of updatable protocol parameters: 'ProtocolParameters' +module Cardano.Api.Internal.ProtocolParameters + ( -- * The updatable protocol parameters + ProtocolParameters (..) + , convertToLedgerProtocolParameters + , toLedgerPParams + , fromLedgerPParams + ) +where + +-------------------------------------------------------------------------------- + +data ProtocolParameters = ProtocolParameters +convertToLedgerProtocolParameters :: () +convertToLedgerProtocolParameters = error "" +toLedgerPParams :: () +toLedgerPParams = error "" +fromLedgerPParams :: () +fromLedgerPParams = error "" diff --git a/bench/tx-generator/src/Cardano/Benchmarking/Script/Aeson.hs b/bench/tx-generator/src/Cardano/Benchmarking/Script/Aeson.hs index 353c2f5c2c1..ffefc825d23 100644 --- a/bench/tx-generator/src/Cardano/Benchmarking/Script/Aeson.hs +++ b/bench/tx-generator/src/Cardano/Benchmarking/Script/Aeson.hs @@ -22,7 +22,7 @@ import qualified Data.Attoparsec.ByteString as Atto import qualified Data.Yaml as Yaml (encode) import Cardano.Api -import Cardano.Api.Shelley (ProtocolParameters) +import Cardano.Api.Internal.ProtocolParameters (ProtocolParameters) import Cardano.Benchmarking.Script.Types import Cardano.TxGenerator.Internal.Orphans () diff --git a/bench/tx-generator/src/Cardano/Benchmarking/Script/Core.hs b/bench/tx-generator/src/Cardano/Benchmarking/Script/Core.hs index 90d0898cf22..98bbab9b08d 100644 --- a/bench/tx-generator/src/Cardano/Benchmarking/Script/Core.hs +++ b/bench/tx-generator/src/Cardano/Benchmarking/Script/Core.hs @@ -18,10 +18,11 @@ module Cardano.Benchmarking.Script.Core where -import Cardano.Api -import Cardano.Api.Shelley (PlutusScriptOrReferenceInput (..), ProtocolParameters, - ShelleyLedgerEra, convertToLedgerProtocolParameters, protocolParamMaxTxExUnits, +import Cardano.Api hiding (toLedgerPParams, fromLedgerPParams) +import Cardano.Api.Shelley (PlutusScriptOrReferenceInput (..), + ShelleyLedgerEra, protocolParamMaxTxExUnits, protocolParamPrices) +import Cardano.Api.Internal.ProtocolParameters (toLedgerPParams, fromLedgerPParams, ProtocolParameters, convertToLedgerProtocolParameters) import Cardano.Benchmarking.GeneratorTx as GeneratorTx (AsyncBenchmarkControl) import qualified Cardano.Benchmarking.GeneratorTx as GeneratorTx (waitBenchmark, walletBenchmark) diff --git a/bench/tx-generator/src/Cardano/Benchmarking/Script/Types.hs b/bench/tx-generator/src/Cardano/Benchmarking/Script/Types.hs index 7d1a68583cf..1c3952f95ef 100644 --- a/bench/tx-generator/src/Cardano/Benchmarking/Script/Types.hs +++ b/bench/tx-generator/src/Cardano/Benchmarking/Script/Types.hs @@ -40,7 +40,8 @@ module Cardano.Benchmarking.Script.Types ( import Cardano.Api import qualified Cardano.Api.Ledger as L -import Cardano.Api.Shelley +import Cardano.Api.Shelley hiding (ProtocolParameters) +import Cardano.Api.Internal.ProtocolParameters (ProtocolParameters) import Cardano.Benchmarking.OuroborosImports (SigningKeyFile) import Cardano.Node.Configuration.NodeAddress (NodeIPv4Address) diff --git a/bench/tx-generator/src/Cardano/TxGenerator/PlutusContext.hs b/bench/tx-generator/src/Cardano/TxGenerator/PlutusContext.hs index f748286a96c..21d6ddefb22 100644 --- a/bench/tx-generator/src/Cardano/TxGenerator/PlutusContext.hs +++ b/bench/tx-generator/src/Cardano/TxGenerator/PlutusContext.hs @@ -26,7 +26,7 @@ module Cardano.TxGenerator.PlutusContext where import Cardano.Api -import Cardano.Api.Shelley (ProtocolParameters (..)) +import Cardano.Api.Internal.ProtocolParameters (ProtocolParameters (..)) import Cardano.Ledger.Coin (Coin) import Cardano.TxGenerator.Setup.Plutus (preExecutePlutusScript) diff --git a/bench/tx-generator/src/Cardano/TxGenerator/PureExample.hs b/bench/tx-generator/src/Cardano/TxGenerator/PureExample.hs index ed4f27d63d9..b18510bbfbc 100644 --- a/bench/tx-generator/src/Cardano/TxGenerator/PureExample.hs +++ b/bench/tx-generator/src/Cardano/TxGenerator/PureExample.hs @@ -7,7 +7,7 @@ module Cardano.TxGenerator.PureExample where import Cardano.Api -import Cardano.Api.Shelley (convertToLedgerProtocolParameters) +import Cardano.Api.Internal.ProtocolParameters (convertToLedgerProtocolParameters) import qualified Cardano.Ledger.Coin as L import Cardano.TxGenerator.FundQueue diff --git a/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs b/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs index 9a2d1bad7c2..6ac4baabb0a 100644 --- a/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs +++ b/bench/tx-generator/src/Cardano/TxGenerator/Setup/Plutus.hs @@ -26,8 +26,9 @@ import Control.Monad.Writer (runWriter) import Cardano.CLI.Read (readFileScriptInAnyLang) import Cardano.Api -import Cardano.Api.Shelley (PlutusScript (..), ProtocolParameters (..), fromAlonzoExUnits, +import Cardano.Api.Shelley (PlutusScript (..), fromAlonzoExUnits, protocolParamCostModels, toPlutusData) +import Cardano.Api.Internal.ProtocolParameters (ProtocolParameters (..)) import Cardano.Ledger.Plutus.TxInfo (exBudgetToExUnits) import qualified PlutusLedgerApi.V1 as PlutusV1 diff --git a/bench/tx-generator/src/Cardano/TxGenerator/Types.hs b/bench/tx-generator/src/Cardano/TxGenerator/Types.hs index 741fbe2794d..b39618e8576 100644 --- a/bench/tx-generator/src/Cardano/TxGenerator/Types.hs +++ b/bench/tx-generator/src/Cardano/TxGenerator/Types.hs @@ -14,8 +14,7 @@ module Cardano.TxGenerator.Types where import Cardano.Api -import Cardano.Api.Shelley (ProtocolParameters) - +import Cardano.Api.Internal.ProtocolParameters (ProtocolParameters) import qualified Cardano.Ledger.Coin as L import Cardano.Ledger.Crypto (StandardCrypto) import qualified Cardano.Ledger.Shelley.API as Ledger (ShelleyGenesis) diff --git a/bench/tx-generator/tx-generator.cabal b/bench/tx-generator/tx-generator.cabal index 65c6da53051..a06d78163e6 100644 --- a/bench/tx-generator/tx-generator.cabal +++ b/bench/tx-generator/tx-generator.cabal @@ -92,7 +92,8 @@ library Cardano.TxGenerator.Internal.Orphans - other-modules: Cardano.TxGenerator.Internal.Fifo + other-modules: Cardano.Api.Internal.ProtocolParameters + Cardano.TxGenerator.Internal.Fifo -- Cardano.TxGenerator.Internal.Orphans Paths_tx_generator