Remove explicit FromJSON, ToJSON instances for ShelleyPParams

in favour of the ones defined for `EraPParams`

Author: teodanciu

eras/shelley/impl/src/Cardano/Ledger/Shelley/PParams.hs

@@ -81,14 +81,8 @@ import Cardano.Ledger.Shelley.Era (ShelleyEra)
 import Cardano.Ledger.Slot (EpochNo (..), SlotNo (..))
 import Control.DeepSeq (NFData)
 import Data.Aeson (
-  FromJSON (..),
   Key,
-  KeyValue,
   ToJSON (..),
-  object,
-  pairs,
-  (.:),
-  (.=),
  )
 import qualified Data.Aeson as Aeson
 import Data.Functor.Identity (Identity)
@@ -199,49 +193,6 @@ instance EraPParams ShelleyEra where
 
   eraPParams = shelleyPParams
 
-instance
-  ( EraPParams era
-  , PParamsHKD Identity era ~ ShelleyPParams Identity era
-  , ProtVerAtMost era 4
-  , ProtVerAtMost era 6
-  , ProtVerAtMost era 8
-  ) =>
-  ToJSON (ShelleyPParams Identity era)
-  where
-  toJSON = object . shelleyPParamsPairs
-  toEncoding = pairs . mconcat . shelleyPParamsPairs
-
-shelleyPParamsPairs ::
-  forall era a e.
-  (EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8, KeyValue e a) =>
-  PParamsHKD Identity era ->
-  [a]
-shelleyPParamsPairs pp =
-  uncurry (.=)
-    <$> shelleyPParamsHKDPairs (Proxy @Identity) pp
-
-instance FromJSON (ShelleyPParams Identity era) where
-  parseJSON =
-    Aeson.withObject "ShelleyPParams" $ \obj -> do
-      ShelleyPParams
-        <$> obj .: "txFeePerByte"
-        <*> obj .: "txFeeFixed"
-        <*> obj .: "maxBlockBodySize"
-        <*> obj .: "maxTxSize"
-        <*> obj .: "maxBlockHeaderSize"
-        <*> obj .: "stakeAddressDeposit"
-        <*> obj .: "stakePoolDeposit"
-        <*> obj .: "poolRetireMaxEpoch"
-        <*> obj .: "stakePoolTargetNum"
-        <*> obj .: "poolPledgeInfluence"
-        <*> obj .: "monetaryExpansion"
-        <*> obj .: "treasuryCut"
-        <*> obj .: "decentralization"
-        <*> obj .: "extraPraosEntropy"
-        <*> obj .: "protocolVersion"
-        <*> obj .: "minUTxOValue"
-        <*> obj .: "minPoolCost"
-
 emptyShelleyPParams :: forall era. Era era => ShelleyPParams Identity era
 emptyShelleyPParams =
   ShelleyPParams
@@ -316,40 +267,6 @@ instance NoThunks PPUpdateEnv
 
 {-# DEPRECATED PPUpdateEnv "As unused" #-}
 
-instance
-  ( EraPParams era
-  , PParamsHKD StrictMaybe era ~ ShelleyPParams StrictMaybe era
-  , ProtVerAtMost era 4
-  , ProtVerAtMost era 6
-  , ProtVerAtMost era 8
-  ) =>
-  ToJSON (ShelleyPParams StrictMaybe era)
-  where
-  toJSON = object . shelleyPParamsUpdatePairs
-  toEncoding = pairs . mconcat . shelleyPParamsUpdatePairs
-
-shelleyPParamsUpdatePairs ::
-  forall era a e.
-  (EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8, KeyValue e a) =>
-  PParamsHKD StrictMaybe era ->
-  [a]
-shelleyPParamsUpdatePairs pp =
-  [ k .= v
-  | (k, SJust v) <- shelleyPParamsHKDPairs (Proxy @StrictMaybe) pp
-  ]
-
-shelleyPParamsHKDPairs ::
-  forall f era.
-  (HKDFunctor f, EraPParams era, ProtVerAtMost era 4, ProtVerAtMost era 6, ProtVerAtMost era 8) =>
-  Proxy f ->
-  PParamsHKD f era ->
-  [(Key, HKD f Aeson.Value)]
-shelleyPParamsHKDPairs px pp =
-  shelleyCommonPParamsHKDPairs px pp
-    ++ shelleyCommonPParamsHKDPairsV6 px pp
-    ++ shelleyCommonPParamsHKDPairsV8 px pp
-    ++ [("minUTxOValue", hkdMap px (toJSON @Coin) (pp ^. hkdMinUTxOValueL @era @f))]
-
 -- | These are the fields that are common only up to major protocol version 6
 shelleyCommonPParamsHKDPairsV6 ::
   forall f era.