Remove ConwayEraTransiton and other registration functions used for tests

The `ConwayEraTransiton` type class, `registerInitialFunds`,
`registerInitialStaking`, `registerInitialDReps`, and `registerDelegs`
were used by the Consensus code, which now relies on `injectIntoTestState`.

Author: dnadales

eras/conway/impl/src/Cardano/Ledger/Conway/Transition.hs

@@ -9,11 +9,8 @@
 {-# OPTIONS_GHC -Wno-orphans #-}
 
 module Cardano.Ledger.Conway.Transition (
-  ConwayEraTransition (..),
   TransitionConfig (..),
   toConwayTransitionConfigPairs,
-  registerDelegs,
-  registerInitialDReps,
 ) where
 
 import Cardano.Ledger.Alonzo.Transition (toAlonzoTransitionConfigPairs)
@@ -23,11 +20,8 @@ import Cardano.Ledger.Conway.Core (Era (..))
 import Cardano.Ledger.Conway.Era
 import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..), toConwayGenesisPairs)
 import Cardano.Ledger.Conway.Translation ()
-import Cardano.Ledger.Conway.TxCert (Delegatee, getStakePoolDelegatee, getVoteDelegatee)
-import Cardano.Ledger.Credential (Credential)
+import Cardano.Ledger.Conway.TxCert (getStakePoolDelegatee, getVoteDelegatee)
 import Cardano.Ledger.Crypto
-import Cardano.Ledger.DRep (DRepState)
-import Cardano.Ledger.Keys (KeyRole (..))
 import Cardano.Ledger.Shelley.LedgerState (
   NewEpochState,
   certDStateL,
@@ -51,29 +45,15 @@ import Data.Aeson (
   withObject,
   (.:),
  )
-import Data.ListMap (ListMap)
 import qualified Data.ListMap as ListMap
 import qualified Data.Map.Strict as Map
 import Data.Maybe.Strict (StrictMaybe (..), maybeToStrictMaybe)
 import GHC.Generics
 import Lens.Micro
 import NoThunks.Class (NoThunks (..))
 
-class EraTransition era => ConwayEraTransition era where
-  tcDelegsL ::
-    Lens'
-      (TransitionConfig era)
-      (ListMap (Credential 'Staking (EraCrypto era)) (Delegatee (EraCrypto era)))
-
-  tcInitialDRepsL ::
-    Lens'
-      (TransitionConfig era)
-      (ListMap (Credential 'DRepRole (EraCrypto era)) (DRepState (EraCrypto era)))
-
-  tcConwayGenesisL :: Lens' (TransitionConfig era) (ConwayGenesis (EraCrypto era))
-
 registerDRepsThenDelegs ::
-  ConwayEraTransition era =>
+  (era ~ ConwayEra c, Crypto c) =>
   TransitionConfig era ->
   NewEpochState era ->
   NewEpochState era
@@ -100,16 +80,9 @@ instance Crypto c => EraTransition (ConwayEra c) where
   tcTranslationContextL =
     lens ctcConwayGenesis (\ctc ag -> ctc {ctcConwayGenesis = ag})
 
-instance Crypto c => ConwayEraTransition (ConwayEra c) where
-  tcConwayGenesisL = lens ctcConwayGenesis (\g x -> g {ctcConwayGenesis = x})
-
-  tcDelegsL =
-    protectMainnetLens "ConwayDelegs" null $
-      tcConwayGenesisL . lens cgDelegs (\g x -> g {cgDelegs = x})
-
-  tcInitialDRepsL =
-    protectMainnetLens "InitialDReps" null $
-      tcConwayGenesisL . lens cgInitialDReps (\g x -> g {cgInitialDReps = x})
+tcConwayGenesisL ::
+  Lens' (TransitionConfig (ConwayEra c)) (ConwayGenesis (EraCrypto (ConwayEra c)))
+tcConwayGenesisL = lens ctcConwayGenesis (\g x -> g {ctcConwayGenesis = x})
 
 instance Crypto c => NoThunks (TransitionConfig (ConwayEra c))
 
@@ -132,18 +105,23 @@ instance Crypto c => FromJSON (TransitionConfig (ConwayEra c)) where
     pure $ mkTransitionConfig pc ag
 
 registerInitialDReps ::
-  ConwayEraTransition era =>
+  forall era c.
+  (era ~ ConwayEra c, Crypto c) =>
   TransitionConfig era ->
   NewEpochState era ->
   NewEpochState era
 registerInitialDReps cfg =
   nesEsL . esLStateL . lsCertStateL . certVStateL . vsDRepsL .~ drepsMap
   where
     drepsMap = ListMap.toMap $ cfg ^. tcInitialDRepsL
+      where
+        tcInitialDRepsL =
+          protectMainnetLens "InitialDReps" null $
+            tcConwayGenesisL . lens cgInitialDReps (\g x -> g {cgInitialDReps = x})
 
 registerDelegs ::
-  forall era.
-  ConwayEraTransition era =>
+  forall era c.
+  (era ~ ConwayEra c, Crypto c) =>
   TransitionConfig era ->
   NewEpochState era ->
   NewEpochState era
@@ -152,6 +130,11 @@ registerDelegs cfg =
     %~ \m -> ListMap.foldrWithKey (\(k, v) -> Map.insertWith joinUMElems k $ delegateeToUMElem v) m delegs
   where
     delegs = cfg ^. tcDelegsL
+      where
+        tcDelegsL =
+          protectMainnetLens "ConwayDelegs" null $
+            tcConwayGenesisL . lens cgDelegs (\g x -> g {cgDelegs = x})
+
     delegateeToUMElem d =
       UMElem
         SNothing

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

@@ -23,10 +23,8 @@ module Cardano.Ledger.Shelley.Transition (
   tcInitialFundsL,
   tcInitialStakingL,
   mkShelleyTransitionConfig,
-  createInitialState,
-  registerInitialFunds,
   registerInitialFundsThenStaking,
-  registerInitialStaking,
+  createInitialState,
   toShelleyTransitionConfigPairs,
   protectMainnet,
   protectMainnetLens,

libs/cardano-ledger-api/src/Cardano/Ledger/Api/Transition.hs

@@ -22,19 +22,11 @@ module Cardano.Ledger.Api.Transition (
   tcInitialStakingL,
   createInitialState,
   injectIntoTestState,
-  registerInitialFunds,
-  registerInitialStaking,
-  registerInitialDReps,
-  registerDelegs,
 ) where
 
 import Cardano.Ledger.Alonzo.Genesis (AlonzoGenesis (..))
 import Cardano.Ledger.Api.Era (LatestKnownEra)
 import Cardano.Ledger.Conway.Genesis (ConwayGenesis (..))
-import Cardano.Ledger.Conway.Transition (
-  registerDelegs,
-  registerInitialDReps,
- )
 import Cardano.Ledger.Crypto
 import Cardano.Ledger.Shelley.Genesis (ShelleyGenesis (..))
 import Cardano.Ledger.Shelley.Transition (