extend ProtocolParameters and add impl for Alonzo

lib/core/src/Cardano/Wallet/Primitive/Types.hs

@@ -75,6 +75,8 @@ module Cardano.Wallet.Primitive.Types
     , StartTime (..)
     , stabilityWindowByron
     , stabilityWindowShelley
+    , ExecutionUnits (..)
+    , ExecutionUnitPrices (..)
 
     -- * Wallet Metadata
     , WalletMetadata(..)
@@ -1038,6 +1040,12 @@ data ProtocolParameters = ProtocolParameters
         :: Word16
         -- ^ Limit on the maximum number of collateral inputs present in a
         -- transaction.
+    , executionUnitPrices
+        :: Maybe ExecutionUnitPrices
+        -- ^ The prices for 'ExecutionUnits' as a fraction of a 'Lovelace' and
+        -- used to determine the fee for the use of a script within a
+        -- transaction, based on the 'ExecutionUnits' needed by the use of
+        -- the script.
     } deriving (Eq, Generic, Show)
 
 instance NFData ProtocolParameters
@@ -1049,8 +1057,34 @@ instance Buildable ProtocolParameters where
         , "Desired number of pools: " <> build (pp ^. #desiredNumberOfStakePools)
         , "Minimum UTxO value: " <> build (pp ^. #minimumUTxOvalue)
         , "Eras:\n" <> indentF 2 (build (pp ^. #eras))
+        , "Execution unit prices: " <>
+            case (pp ^. #executionUnitPrices) of
+                Just prices -> build prices
+                Nothing -> "not specified"
         ]
 
+data ExecutionUnits = ExecutionUnits
+    { executionSteps
+        :: Word64
+        -- ^ This corresponds roughly to the time to execute a script.
+
+    , executionMemory
+        :: Word64
+        -- ^ This corresponds roughly to the peak memory used during script
+        -- execution.
+    } deriving (Eq, Generic, Show)
+
+data ExecutionUnitPrices = ExecutionUnitPrices
+    { priceExecutionSteps  :: Rational
+    , priceExecutionMemory :: Rational
+    } deriving (Eq, Generic, Show)
+
+instance NFData ExecutionUnitPrices
+
+instance Buildable ExecutionUnitPrices where
+    build (ExecutionUnitPrices perStep perMem) =
+        build $ show perStep <> " per step, " <> show perMem <> " per memory unit"
+
 -- | Indicates the current level of decentralization in the network.
 --
 -- According to the Design Specification for Delegation and Incentives in

lib/shelley/src/Cardano/Wallet/Byron/Compatibility.hs

@@ -142,6 +142,7 @@ mainnetNetworkParameters = W.NetworkParameters
         , stakeKeyDeposit = W.Coin 0
         , eras = W.emptyEraInfo
         , maximumCollateralInputCount = 0
+        , executionUnitPrices = Nothing
         }
     }
 
@@ -353,6 +354,7 @@ protocolParametersFromPP eraInfo pp = W.ProtocolParameters
     , stakeKeyDeposit = W.Coin 0
     , eras = fromBound <$> eraInfo
     , maximumCollateralInputCount = 0
+    , executionUnitPrices = Nothing
     }
   where
     fromBound (Bound _relTime _slotNo (O.EpochNo e)) =

lib/shelley/src/Cardano/Wallet/Shelley/Compatibility.hs

@@ -278,9 +278,11 @@ import qualified Cardano.Ledger.Address as SL
 import qualified Cardano.Ledger.Alonzo as Alonzo
 import qualified Cardano.Ledger.Alonzo.Data as Alonzo
 import qualified Cardano.Ledger.Alonzo.PParams as Alonzo
+import qualified Cardano.Ledger.Alonzo.Scripts as Alonzo
 import qualified Cardano.Ledger.Alonzo.Tx as Alonzo
 import qualified Cardano.Ledger.Alonzo.TxBody as Alonzo
 import qualified Cardano.Ledger.Alonzo.TxSeq as Alonzo
+import qualified Cardano.Ledger.BaseTypes as Ledger
 import qualified Cardano.Ledger.BaseTypes as SL
 import qualified Cardano.Ledger.Core as SL.Core
 import qualified Cardano.Ledger.Credential as SL
@@ -596,6 +598,7 @@ fromShelleyPParams eraInfo pp = W.ProtocolParameters
     , stakeKeyDeposit = stakeKeyDepositFromPParams pp
     , eras = fromBound <$> eraInfo
     , maximumCollateralInputCount = minBound
+    , executionUnitPrices = Nothing
     }
   where
     fromBound (Bound _relTime _slotNo (EpochNo e)) =
@@ -620,6 +623,8 @@ fromAlonzoPParams eraInfo pp = W.ProtocolParameters
     , eras = fromBound <$> eraInfo
     , maximumCollateralInputCount = unsafeIntToWord $
         Alonzo._maxCollateralInputs pp
+    , executionUnitPrices =
+        Just $ executionUnitPricesFromPParams pp
     }
   where
     fromBound (Bound _relTime _slotNo (EpochNo e)) =
@@ -655,6 +660,20 @@ decentralizationLevelFromPParams pp =
   where
     d = getField @"_d" pp
 
+executionUnitPricesFromPParams
+    :: HasField "_prices" pparams Alonzo.Prices
+    => pparams
+    -> W.ExecutionUnitPrices
+executionUnitPricesFromPParams pp =
+    fromAlonzoPrices prices
+  where
+    prices = getField @"_prices" pp
+    fromAlonzoPrices (Alonzo.Prices prSteps prMem) =
+        W.ExecutionUnitPrices
+        { W.priceExecutionSteps  = Ledger.unboundRational prSteps
+        , W.priceExecutionMemory = Ledger.unboundRational prMem
+        }
+
 txParametersFromPParams
     :: HasField "_minfeeA" pparams Natural
     => HasField "_minfeeB" pparams Natural