Switch to using era names for constraints instead of protocol versions

Author: lehins

eras/allegra/impl/src/Cardano/Ledger/Allegra/Era.hs

@@ -19,16 +19,9 @@ module Cardano.Ledger.Allegra.Era (
 import Cardano.Ledger.Coin (Coin)
 import Cardano.Ledger.Genesis (EraGenesis, NoGenesis)
 import Cardano.Ledger.Internal.Era (AllegraEra)
-import Cardano.Ledger.Shelley (ShelleyEra)
 import Cardano.Ledger.Shelley.Core
 import Cardano.Ledger.Shelley.Rules
 
-instance Era AllegraEra where
-  type PreviousEra AllegraEra = ShelleyEra
-  type ProtVerLow AllegraEra = 3
-
-  eraName = "Allegra"
-
 instance EraGenesis AllegraEra
 
 --------------------------------------------------------------------------------

eras/allegra/impl/src/Cardano/Ledger/Allegra/Rules/Utxo.hs

@@ -302,7 +302,7 @@ instance
   , Environment (EraRule "PPUP" era) ~ PpupEnv era
   , State (EraRule "PPUP" era) ~ ShelleyGovState era
   , Signal (EraRule "PPUP" era) ~ StrictMaybe (Update era)
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , Eq (EraRuleFailure "PPUP" era)
   , Show (EraRuleFailure "PPUP" era)
   , EraRule "UTXO" era ~ AllegraUTXO era

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Era.hs

@@ -17,19 +17,12 @@ module Cardano.Ledger.Alonzo.Era (
 ) where
 
 import Cardano.Ledger.Internal.Era (AlonzoEra)
-import Cardano.Ledger.Mary (MaryEra, MaryValue)
+import Cardano.Ledger.Mary (MaryValue)
 import Cardano.Ledger.Shelley.Core
 import Cardano.Ledger.Shelley.Rules
 
 -- =====================================================
 
-instance Era AlonzoEra where
-  type PreviousEra AlonzoEra = MaryEra
-  type ProtVerLow AlonzoEra = 5
-  type ProtVerHigh AlonzoEra = 6
-
-  eraName = "Alonzo"
-
 type instance Value AlonzoEra = MaryValue
 
 -------------------------------------------------------------------------------

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Plutus/TxInfo.hs

@@ -320,7 +320,7 @@ transValue (MaryValue c m) = transCoinToValue c <> transMultiAsset m
 -- =============================================
 -- translate fields like TxCert, Withdrawals, and similar
 
-transTxCert :: (ShelleyEraTxCert era, ProtVerAtMost era 8) => TxCert era -> PV1.DCert
+transTxCert :: (ShelleyEraTxCert era, AtMostEra "Babbage" era) => TxCert era -> PV1.DCert
 transTxCert txCert =
   case transTxCertCommon txCert of
     Just cert -> cert

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Ledger.hs

@@ -165,7 +165,7 @@ instance
   , Environment (EraRule "DELEGS" era) ~ DelegsEnv era
   , State (EraRule "DELEGS" era) ~ CertState era
   , Signal (EraRule "DELEGS" era) ~ Seq (TxCert era)
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , EraCertState era
   ) =>
   STS (AlonzoLEDGER era)

eras/alonzo/impl/src/Cardano/Ledger/Alonzo/Rules/Utxo.hs

@@ -474,7 +474,7 @@ utxoTransition ::
   forall era.
   ( EraUTxO era
   , AlonzoEraTx era
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , EraRule "UTXO" era ~ AlonzoUTXO era
   , InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era
   , InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era
@@ -571,7 +571,7 @@ instance
   , InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era
   , InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era
   , InjectRuleFailure "UTXO" AllegraUtxoPredFailure era
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , EraCertState era
   , SafeToHash (TxWits era)
   ) =>

eras/alonzo/test-suite/src/Test/Cardano/Ledger/Alonzo/Trace.hs

@@ -63,7 +63,7 @@ instance
   , Environment (EraRule "DELEGS" era) ~ DelegsEnv era
   , State (EraRule "DELEGS" era) ~ CertState era
   , Signal (EraRule "DELEGS" era) ~ Seq (TxCert era)
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , EraCertState era
   , Crypto c
   ) =>

eras/babbage/impl/src/Cardano/Ledger/Babbage/Era.hs

@@ -14,7 +14,6 @@ module Cardano.Ledger.Babbage.Era (
   BabbageLEDGER,
 ) where
 
-import Cardano.Ledger.Alonzo (AlonzoEra)
 import Cardano.Ledger.Alonzo.Rules (AlonzoBBODY)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Genesis (EraGenesis, NoGenesis)
@@ -34,13 +33,6 @@ import Cardano.Ledger.Shelley.Rules (
 
 -- =====================================================
 
-instance Era BabbageEra where
-  type PreviousEra BabbageEra = AlonzoEra
-  type ProtVerLow BabbageEra = 7
-  type ProtVerHigh BabbageEra = 8
-
-  eraName = "Babbage"
-
 instance EraGenesis BabbageEra
 
 type instance TranslationContext BabbageEra = NoGenesis BabbageEra

eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Ledger.hs

@@ -117,7 +117,7 @@ instance
   , Environment (EraRule "DELEGS" era) ~ DelegsEnv era
   , State (EraRule "DELEGS" era) ~ CertState era
   , Signal (EraRule "DELEGS" era) ~ Seq (TxCert era)
-  , ProtVerAtMost era 8
+  , AtMostEra "Babbage" era
   , EraCertState era
   ) =>
   STS (BabbageLEDGER era)

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

@@ -31,7 +31,6 @@ module Cardano.Ledger.Conway.Era (
   hardforkConwayDELEGIncorrectDepositsAndRefunds,
 ) where
 
-import Cardano.Ledger.Babbage (BabbageEra)
 import Cardano.Ledger.BaseTypes (ProtVer (pvMajor), natVersion)
 import Cardano.Ledger.Core
 import Cardano.Ledger.Internal.Era (ConwayEra)
@@ -46,13 +45,6 @@ import Cardano.Ledger.Shelley.Rules (
 
 -- =====================================================
 
-instance Era ConwayEra where
-  type PreviousEra ConwayEra = BabbageEra
-  type ProtVerLow ConwayEra = 9
-  type ProtVerHigh ConwayEra = 11
-
-  eraName = "Conway"
-
 type instance Value ConwayEra = MaryValue
 
 -------------------------------------------------------------------------------