Implement Enc/DecCBOR for PoolParams explicitly

rather than via `Enc/DecCBORGroup`

Author: teodanciu

libs/cardano-ledger-core/CHANGELOG.md

@@ -2,6 +2,7 @@
 
 ## 1.19.0.0
 
+* Remove `DecCBORGroup` and `EncCBORGroup` instances for `PoolParams`
 * Remove the `UMap` module and the `umap` benchmarks cabal target.
 * Export `dRepToText`
 * Deprecated `bheader` and `bbody`

libs/cardano-ledger-core/src/Cardano/Ledger/State/StakePool.hs

@@ -5,6 +5,7 @@
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE RecordWildCards #-}
 {-# LANGUAGE StandaloneDeriving #-}
 {-# LANGUAGE TypeApplications #-}
 {-# LANGUAGE TypeFamilies #-}
@@ -68,12 +69,9 @@ import Cardano.Ledger.BaseTypes (
   strictMaybeToMaybe,
  )
 import Cardano.Ledger.Binary (
-  CBORGroup (..),
   DecCBOR (..),
-  DecCBORGroup (..),
   DecShareCBOR (..),
   EncCBOR (..),
-  EncCBORGroup (..),
   decodeNullMaybe,
   decodeRecordNamed,
   decodeRecordSum,
@@ -381,8 +379,6 @@ data PoolParams = PoolParams
   , ppMetadata :: !(StrictMaybe PoolMetadata)
   }
   deriving (Show, Generic, Eq, Ord)
-  deriving (EncCBOR) via CBORGroup PoolParams
-  deriving (DecCBOR) via CBORGroup PoolParams
 
 ppVrfL :: Lens' PoolParams (VRFVerKeyHash 'StakePoolVRF)
 ppVrfL = lens ppVrf (\pp u -> pp {ppVrf = u})
@@ -452,40 +448,44 @@ data SizeOfPoolRelays = SizeOfPoolRelays
 instance EncCBOR SizeOfPoolRelays where
   encCBOR = error "The `SizeOfPoolRelays` type cannot be encoded!"
 
-instance EncCBORGroup PoolParams where
-  encCBORGroup poolParams =
-    encCBOR (ppId poolParams)
-      <> encCBOR (ppVrf poolParams)
-      <> encCBOR (ppPledge poolParams)
-      <> encCBOR (ppCost poolParams)
-      <> encCBOR (ppMargin poolParams)
-      <> encCBOR (ppRewardAccount poolParams)
-      <> encCBOR (ppOwners poolParams)
-      <> encCBOR (ppRelays poolParams)
-      <> encodeNullMaybe encCBOR (strictMaybeToMaybe (ppMetadata poolParams))
-  listLen _ = 9
-  listLenBound _ = 9
-
-instance DecCBORGroup PoolParams where
-  decCBORGroup = do
-    hk <- decCBOR
-    vrf <- decCBOR
-    pledge <- decCBOR
-    cost <- decCBOR
-    margin <- decCBOR
-    ra <- decCBOR
-    owners <- decCBOR
-    relays <- decCBOR
-    md <- decodeNullMaybe decCBOR
-    pure $
-      PoolParams
-        { ppId = hk
-        , ppVrf = vrf
-        , ppPledge = pledge
-        , ppCost = cost
-        , ppMargin = margin
-        , ppRewardAccount = ra
-        , ppOwners = owners
-        , ppRelays = relays
-        , ppMetadata = maybeToStrictMaybe md
-        }
+instance EncCBOR PoolParams where
+  encCBOR PoolParams {..} =
+    encodeListLen 9
+      <> encCBOR ppId
+      <> encCBOR ppVrf
+      <> encCBOR ppPledge
+      <> encCBOR ppCost
+      <> encCBOR ppMargin
+      <> encCBOR ppRewardAccount
+      <> encCBOR ppOwners
+      <> encCBOR ppRelays
+      <> encodeNullMaybe encCBOR (strictMaybeToMaybe ppMetadata)
+
+instance DecCBOR PoolParams where
+  decCBOR =
+    decodeRecordNamed
+      "CBORGroup"
+      (const 9)
+      ( do
+          hk <- decCBOR
+          vrf <- decCBOR
+          pledge <- decCBOR
+          cost <- decCBOR
+          margin <- decCBOR
+          ra <- decCBOR
+          owners <- decCBOR
+          relays <- decCBOR
+          md <- decodeNullMaybe decCBOR
+          pure $
+            PoolParams
+              { ppId = hk
+              , ppVrf = vrf
+              , ppPledge = pledge
+              , ppCost = cost
+              , ppMargin = margin
+              , ppRewardAccount = ra
+              , ppOwners = owners
+              , ppRelays = relays
+              , ppMetadata = maybeToStrictMaybe md
+              }
+      )