Merge pull request #361 from input-output-hk/newhoggy/ShelleyLedgerEr…

…a-related-refactoring

Merge `ShelleyLedgerEra` and `CardanoLedgerEra` to a single type family `LedgerEra`

cardano-api/gen/Test/Gen/Cardano/Api/Era.hs

@@ -24,9 +24,9 @@ import           Test.QuickCheck (Arbitrary (..))
 
 shelleyBasedEraTestConstraints :: ()
   => ShelleyBasedEra era
-  ->  ( ( Ledger.Era (ShelleyLedgerEra era)
-        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (ShelleyLedgerEra era))
-        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (ShelleyLedgerEra era))
+  ->  ( ( Ledger.Era (LedgerEra era)
+        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (LedgerEra era))
+        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (LedgerEra era))
         )
       => a
       )
@@ -41,9 +41,9 @@ shelleyBasedEraTestConstraints = \case
 
 shelleyToBabbageEraTestConstraints :: ()
   => ShelleyToBabbageEra era
-  ->  ( ( Ledger.Era (ShelleyLedgerEra era)
-        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (ShelleyLedgerEra era))
-        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (ShelleyLedgerEra era))
+  ->  ( ( Ledger.Era (LedgerEra era)
+        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (LedgerEra era))
+        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (LedgerEra era))
         )
       => a
       )
@@ -57,9 +57,9 @@ shelleyToBabbageEraTestConstraints = \case
 
 conwayEraOnwardsTestConstraints :: ()
   => ConwayEraOnwards era
-  ->  ( ( Ledger.Era (ShelleyLedgerEra era)
-        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (ShelleyLedgerEra era))
-        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (ShelleyLedgerEra era))
+  ->  ( ( Ledger.Era (LedgerEra era)
+        , Arbitrary (Ledger.PParamsHKD Ledger.StrictMaybe (LedgerEra era))
+        , Arbitrary (Ledger.PParamsHKD Ledger.Identity (LedgerEra era))
         )
       => a
       )

cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs

@@ -365,14 +365,14 @@ genUnsignedQuantity = genQuantity (Range.constant 0 2)
 genPositiveQuantity :: Gen Quantity
 genPositiveQuantity = genQuantity (Range.constant 1 2)
 
-genValue :: MaryEraOnwards era -> Gen AssetId -> Gen Quantity -> Gen (L.Value (ShelleyLedgerEra era))
+genValue :: MaryEraOnwards era -> Gen AssetId -> Gen Quantity -> Gen (L.Value (LedgerEra era))
 genValue w genAId genQuant =
   toLedgerValue w . valueFromList <$>
     Gen.list (Range.constant 0 10)
              ((,) <$> genAId <*> genQuant)
 
 -- | Generate a 'Value' with any asset ID and a positive or negative quantity.
-genValueDefault :: MaryEraOnwards era -> Gen (L.Value (ShelleyLedgerEra era))
+genValueDefault :: MaryEraOnwards era -> Gen (L.Value (LedgerEra era))
 genValueDefault w = genValue w genAssetId genSignedNonZeroQuantity
 
 -- | Generate a 'Value' suitable for minting, i.e. non-ADA asset ID and a
@@ -387,7 +387,7 @@ genValueForMinting w =
 
 -- | Generate a 'Value' suitable for usage in a transaction output, i.e. any
 -- asset ID and a positive quantity.
-genValueForTxOut :: ShelleyBasedEra era -> Gen (L.Value (ShelleyLedgerEra era))
+genValueForTxOut :: ShelleyBasedEra era -> Gen (L.Value (LedgerEra era))
 genValueForTxOut sbe = do
   -- Generate at least one positive ADA, without it Value in TxOut makes no sense
   -- and will fail deserialization starting with ConwayEra

cardano-api/internal/Cardano/Api/Block.hs

@@ -100,7 +100,7 @@ data Block era where
                 -> Block ByronEra
 
      ShelleyBlock :: ShelleyBasedEra era
-                  -> Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era)
+                  -> Consensus.ShelleyBlock (ConsensusProtocol era) (LedgerEra era)
                   -> Block era
 
 -- | A block consists of a header and a body containing transactions.
@@ -174,7 +174,7 @@ getBlockTxs = \case
 
 
 getShelleyBlockTxs :: forall era ledgerera blockheader.
-                      ShelleyLedgerEra era ~ ledgerera
+                      LedgerEra era ~ ledgerera
                    => Consensus.ShelleyCompatible (ConsensusProtocol era) ledgerera
                    => Consensus.ShelleyProtocolHeader (ConsensusProtocol era) ~ blockheader
                    => ShelleyBasedEra era

cardano-api/internal/Cardano/Api/Certificate.hs

@@ -116,14 +116,14 @@ data Certificate era where
      --   7. MIR certificates
      ShelleyRelatedCertificate
        :: ShelleyToBabbageEra era
-       -> Ledger.ShelleyTxCert (ShelleyLedgerEra era)
+       -> Ledger.ShelleyTxCert (LedgerEra era)
        -> Certificate era
 
      -- Conway onwards
      -- TODO: Add comments about the new types of certificates
      ConwayCertificate
        :: ConwayEraOnwards era
-       -> Ledger.ConwayTxCert (ShelleyLedgerEra era)
+       -> Ledger.ConwayTxCert (LedgerEra era)
        -> Certificate era
 
   deriving anyclass SerialiseAsCBOR
@@ -141,14 +141,14 @@ instance
   ) => ToCBOR (Certificate era) where
     toCBOR =
       shelleyBasedEraConstraints (shelleyBasedEra @era)
-        $ Ledger.toEraCBOR @(ShelleyLedgerEra era) . toShelleyCertificate
+        $ Ledger.toEraCBOR @(LedgerEra era) . toShelleyCertificate
 
 instance
   ( IsShelleyBasedEra era
   ) => FromCBOR (Certificate era) where
     fromCBOR =
       shelleyBasedEraConstraints (shelleyBasedEra @era)
-        $ fromShelleyCertificate shelleyBasedEra <$> Ledger.fromEraCBOR @(ShelleyLedgerEra era)
+        $ fromShelleyCertificate shelleyBasedEra <$> Ledger.fromEraCBOR @(LedgerEra era)
 
 
 instance
@@ -278,7 +278,7 @@ data StakeDelegationRequirements era where
   StakeDelegationRequirementsConwayOnwards
     :: ConwayEraOnwards era
     -> StakeCredential
-    -> Ledger.Delegatee (EraCrypto (ShelleyLedgerEra era))
+    -> Ledger.Delegatee (EraCrypto (LedgerEra era))
     -> StakeDelegationRequirements era
 
   StakeDelegationRequirementsPreConway
@@ -302,12 +302,12 @@ makeStakeAddressDelegationCertificate = \case
 data StakePoolRegistrationRequirements era where
   StakePoolRegistrationRequirementsConwayOnwards
     :: ConwayEraOnwards era
-    -> Ledger.PoolParams (EraCrypto (ShelleyLedgerEra era))
+    -> Ledger.PoolParams (EraCrypto (LedgerEra era))
     -> StakePoolRegistrationRequirements era
 
   StakePoolRegistrationRequirementsPreConway
     :: ShelleyToBabbageEra era
-    -> Ledger.PoolParams (EraCrypto (ShelleyLedgerEra era))
+    -> Ledger.PoolParams (EraCrypto (LedgerEra era))
     -> StakePoolRegistrationRequirements era
 
 makeStakePoolRegistrationCertificate :: ()
@@ -369,7 +369,7 @@ data MirCertificateRequirements era where
   MirCertificateRequirements
     :: ShelleyToBabbageEra era
     -> Ledger.MIRPot
-    -> Ledger.MIRTarget (EraCrypto (ShelleyLedgerEra era))
+    -> Ledger.MIRTarget (EraCrypto (LedgerEra era))
     -> MirCertificateRequirements era
 
 makeMIRCertificate :: ()
@@ -382,14 +382,14 @@ makeMIRCertificate (MirCertificateRequirements atMostEra mirPot mirTarget) =
 data DRepRegistrationRequirements era where
   DRepRegistrationRequirements
     :: ConwayEraOnwards era
-    -> (Ledger.Credential Ledger.DRepRole (EraCrypto (ShelleyLedgerEra era)))
+    -> (Ledger.Credential Ledger.DRepRole (EraCrypto (LedgerEra era)))
     -> Lovelace
     -> DRepRegistrationRequirements era
 
 
 makeDrepRegistrationCertificate :: ()
   => DRepRegistrationRequirements era
-  -> Maybe (Ledger.Anchor (EraCrypto (ShelleyLedgerEra era)))
+  -> Maybe (Ledger.Anchor (EraCrypto (LedgerEra era)))
   -> Certificate era
 makeDrepRegistrationCertificate (DRepRegistrationRequirements conwayOnwards vcred deposit) anchor =
   ConwayCertificate conwayOnwards
@@ -402,8 +402,8 @@ makeDrepRegistrationCertificate (DRepRegistrationRequirements conwayOnwards vcre
 data CommitteeHotKeyAuthorizationRequirements era where
   CommitteeHotKeyAuthorizationRequirements
     :: ConwayEraOnwards era
-    -> Ledger.KeyHash Ledger.ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era))
-    -> Ledger.KeyHash Ledger.HotCommitteeRole (EraCrypto (ShelleyLedgerEra era))
+    -> Ledger.KeyHash Ledger.ColdCommitteeRole (EraCrypto (LedgerEra era))
+    -> Ledger.KeyHash Ledger.HotCommitteeRole (EraCrypto (LedgerEra era))
     -> CommitteeHotKeyAuthorizationRequirements era
 
 makeCommitteeHotKeyAuthorizationCertificate :: ()
@@ -419,8 +419,8 @@ makeCommitteeHotKeyAuthorizationCertificate (CommitteeHotKeyAuthorizationRequire
 data CommitteeColdkeyResignationRequirements era where
   CommitteeColdkeyResignationRequirements
     :: ConwayEraOnwards era
-    -> Ledger.KeyHash Ledger.ColdCommitteeRole (EraCrypto (ShelleyLedgerEra era))
-    -> Maybe (Ledger.Anchor (EraCrypto (ShelleyLedgerEra era)))
+    -> Ledger.KeyHash Ledger.ColdCommitteeRole (EraCrypto (LedgerEra era))
+    -> Maybe (Ledger.Anchor (EraCrypto (LedgerEra era)))
     -> CommitteeColdkeyResignationRequirements era
 
 makeCommitteeColdkeyResignationCertificate :: ()
@@ -436,7 +436,7 @@ makeCommitteeColdkeyResignationCertificate (CommitteeColdkeyResignationRequireme
 data DRepUnregistrationRequirements era where
   DRepUnregistrationRequirements
     :: ConwayEraOnwards era
-    -> (Ledger.Credential Ledger.DRepRole (EraCrypto (ShelleyLedgerEra era)))
+    -> (Ledger.Credential Ledger.DRepRole (EraCrypto (LedgerEra era)))
     -> Lovelace
     -> DRepUnregistrationRequirements era
 
@@ -452,7 +452,7 @@ makeDrepUnregistrationCertificate (DRepUnregistrationRequirements conwayOnwards
 makeStakeAddressAndDRepDelegationCertificate :: ()
   => ConwayEraOnwards era
   -> StakeCredential
-  -> Ledger.Delegatee (EraCrypto (ShelleyLedgerEra era))
+  -> Ledger.Delegatee (EraCrypto (LedgerEra era))
   -> Lovelace
   -> Certificate era
 makeStakeAddressAndDRepDelegationCertificate w cred delegatee deposit =
@@ -555,7 +555,7 @@ filterUnRegDRepCreds = \case
 
 toShelleyCertificate :: ()
   => Certificate era
-  -> Ledger.TxCert (ShelleyLedgerEra era)
+  -> Ledger.TxCert (LedgerEra era)
 toShelleyCertificate = \case
   ShelleyRelatedCertificate w c ->
     shelleyToBabbageEraConstraints w c
@@ -564,7 +564,7 @@ toShelleyCertificate = \case
 
 fromShelleyCertificate :: ()
   => ShelleyBasedEra era
-  -> Ledger.TxCert (ShelleyLedgerEra era)
+  -> Ledger.TxCert (LedgerEra era)
   -> Certificate era
 fromShelleyCertificate =
   caseShelleyToBabbageOrConwayEraOnwards ShelleyRelatedCertificate ConwayCertificate

cardano-api/internal/Cardano/Api/Eon/AllegraEraOnwards.hs

@@ -66,23 +66,23 @@ instance ToCardanoEra AllegraEraOnwards where
     AllegraEraOnwardsConway  -> ConwayEra
 
 type AllegraEraOnwardsConstraints era =
-  ( C.HashAlgorithm (L.HASH (L.EraCrypto (ShelleyLedgerEra era)))
-  , C.Signable (L.VRF (L.EraCrypto (ShelleyLedgerEra era))) L.Seed
+  ( C.HashAlgorithm (L.HASH (L.EraCrypto (LedgerEra era)))
+  , C.Signable (L.VRF (L.EraCrypto (LedgerEra era))) L.Seed
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
-  , Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era
-  , Consensus.ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era)
+  , Consensus.ShelleyBlock (ConsensusProtocol era) (LedgerEra era) ~ ConsensusBlockForEra era
+  , Consensus.ShelleyCompatible (ConsensusProtocol era) (LedgerEra era)
   , L.ADDRHASH (Consensus.PraosProtocolSupportsNodeCrypto (ConsensusProtocol era)) ~ Blake2b.Blake2b_224
-  , L.Crypto (L.EraCrypto (ShelleyLedgerEra era))
-  , L.Era (ShelleyLedgerEra era)
-  , L.EraCrypto (ShelleyLedgerEra era) ~ L.StandardCrypto
-  , L.EraPParams (ShelleyLedgerEra era)
-  , L.EraTx (ShelleyLedgerEra era)
-  , L.EraTxBody (ShelleyLedgerEra era)
-  , L.EraTxOut (ShelleyLedgerEra era)
-  , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
-  , L.AllegraEraTxBody (ShelleyLedgerEra era)
-  , L.ShelleyEraTxBody (ShelleyLedgerEra era)
-  , L.ShelleyEraTxCert (ShelleyLedgerEra era)
+  , L.Crypto (L.EraCrypto (LedgerEra era))
+  , L.Era (LedgerEra era)
+  , L.EraCrypto (LedgerEra era) ~ L.StandardCrypto
+  , L.EraPParams (LedgerEra era)
+  , L.EraTx (LedgerEra era)
+  , L.EraTxBody (LedgerEra era)
+  , L.EraTxOut (LedgerEra era)
+  , L.HashAnnotated (L.TxBody (LedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
+  , L.AllegraEraTxBody (LedgerEra era)
+  , L.ShelleyEraTxBody (LedgerEra era)
+  , L.ShelleyEraTxCert (LedgerEra era)
 
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , FromCBOR (DebugLedgerState era)

cardano-api/internal/Cardano/Api/Eon/AlonzoEraOnwards.hs

@@ -70,34 +70,33 @@ instance ToCardanoEra AlonzoEraOnwards where
     AlonzoEraOnwardsConway  -> ConwayEra
 
 type AlonzoEraOnwardsConstraints era =
-  ( C.HashAlgorithm (L.HASH (L.EraCrypto (ShelleyLedgerEra era)))
-  , C.Signable (L.VRF (L.EraCrypto (ShelleyLedgerEra era))) L.Seed
+  ( C.HashAlgorithm (L.HASH (L.EraCrypto (LedgerEra era)))
+  , C.Signable (L.VRF (L.EraCrypto (LedgerEra era))) L.Seed
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
-  , Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era
-  , Consensus.ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era)
+  , Consensus.ShelleyBlock (ConsensusProtocol era) (LedgerEra era) ~ ConsensusBlockForEra era
+  , Consensus.ShelleyCompatible (ConsensusProtocol era) (LedgerEra era)
   , L.ADDRHASH (Consensus.PraosProtocolSupportsNodeCrypto (ConsensusProtocol era)) ~ Blake2b.Blake2b_224
-  , L.AlonzoEraPParams (ShelleyLedgerEra era)
-  , L.AlonzoEraTx (ShelleyLedgerEra era)
-  , L.AlonzoEraTxBody (ShelleyLedgerEra era)
-  , L.AlonzoEraTxOut (ShelleyLedgerEra era)
-  , L.AlonzoEraTxWits (ShelleyLedgerEra era)
-  , L.Crypto (L.EraCrypto (ShelleyLedgerEra era))
-  , L.Era (ShelleyLedgerEra era)
-  , L.EraCrypto (ShelleyLedgerEra era) ~ L.StandardCrypto
-  , L.EraPlutusContext 'L.PlutusV1 (ShelleyLedgerEra era)
-  , L.EraPParams (ShelleyLedgerEra era)
-  , L.EraTx (ShelleyLedgerEra era)
-  , L.EraTxBody (ShelleyLedgerEra era)
-  , L.EraTxOut (ShelleyLedgerEra era)
-  , L.EraUTxO (ShelleyLedgerEra era)
-  , L.ExtendedUTxO (ShelleyLedgerEra era)
-  , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
-  , L.MaryEraTxBody (ShelleyLedgerEra era)
-  , L.Script (ShelleyLedgerEra era) ~ L.AlonzoScript (ShelleyLedgerEra era)
-  , L.ScriptsNeeded (ShelleyLedgerEra era) ~ L.AlonzoScriptsNeeded (ShelleyLedgerEra era)
-  , L.ShelleyEraTxBody (ShelleyLedgerEra era)
-  , L.ShelleyEraTxCert (ShelleyLedgerEra era)
-  , L.Value (ShelleyLedgerEra era) ~ L.MaryValue L.StandardCrypto
+  , L.AlonzoEraPParams (LedgerEra era)
+  , L.AlonzoEraTx (LedgerEra era)
+  , L.AlonzoEraTxBody (LedgerEra era)
+  , L.AlonzoEraTxOut (LedgerEra era)
+  , L.AlonzoEraTxWits (LedgerEra era)
+  , L.Crypto (L.EraCrypto (LedgerEra era))
+  , L.Era (LedgerEra era)
+  , L.EraCrypto (LedgerEra era) ~ L.StandardCrypto
+  , L.EraPlutusContext 'L.PlutusV1 (LedgerEra era)
+  , L.EraPParams (LedgerEra era)
+  , L.EraTx (LedgerEra era)
+  , L.EraTxBody (LedgerEra era)
+  , L.EraUTxO (LedgerEra era)
+  , L.ExtendedUTxO (LedgerEra era)
+  , L.HashAnnotated (L.TxBody (LedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
+  , L.MaryEraTxBody (LedgerEra era)
+  , L.Script (LedgerEra era) ~ L.AlonzoScript (LedgerEra era)
+  , L.ScriptsNeeded (LedgerEra era) ~ L.AlonzoScriptsNeeded (LedgerEra era)
+  , L.ShelleyEraTxBody (LedgerEra era)
+  , L.ShelleyEraTxCert (LedgerEra era)
+  , L.Value (LedgerEra era) ~ L.MaryValue L.StandardCrypto
 
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , FromCBOR (DebugLedgerState era)

cardano-api/internal/Cardano/Api/Eon/BabbageEraOnwards.hs

@@ -67,34 +67,34 @@ instance ToCardanoEra BabbageEraOnwards where
     BabbageEraOnwardsConway  -> ConwayEra
 
 type BabbageEraOnwardsConstraints era =
-  ( C.HashAlgorithm (L.HASH (L.EraCrypto (ShelleyLedgerEra era)))
-  , C.Signable (L.VRF (L.EraCrypto (ShelleyLedgerEra era))) L.Seed
+  ( C.HashAlgorithm (L.HASH (L.EraCrypto (LedgerEra era)))
+  , C.Signable (L.VRF (L.EraCrypto (LedgerEra era))) L.Seed
   , Consensus.PraosProtocolSupportsNode (ConsensusProtocol era)
-  , Consensus.ShelleyBlock (ConsensusProtocol era) (ShelleyLedgerEra era) ~ ConsensusBlockForEra era
-  , Consensus.ShelleyCompatible (ConsensusProtocol era) (ShelleyLedgerEra era)
+  , Consensus.ShelleyBlock (ConsensusProtocol era) (LedgerEra era) ~ ConsensusBlockForEra era
+  , Consensus.ShelleyCompatible (ConsensusProtocol era) (LedgerEra era)
   , L.ADDRHASH (Consensus.PraosProtocolSupportsNodeCrypto (ConsensusProtocol era)) ~ Blake2b.Blake2b_224
-  , L.AlonzoEraTxOut (ShelleyLedgerEra era)
-  , L.BabbageEraPParams (ShelleyLedgerEra era)
-  , L.BabbageEraTxBody (ShelleyLedgerEra era)
-  , L.BabbageEraTxOut (ShelleyLedgerEra era)
-  , L.Crypto (L.EraCrypto (ShelleyLedgerEra era))
-  , L.Era (ShelleyLedgerEra era)
-  , L.EraCrypto (ShelleyLedgerEra era) ~ L.StandardCrypto
-  , L.EraPlutusContext 'L.PlutusV1 (ShelleyLedgerEra era)
-  , L.EraPParams (ShelleyLedgerEra era)
-  , L.EraTx (ShelleyLedgerEra era)
-  , L.EraTxBody (ShelleyLedgerEra era)
-  , L.EraTxOut (ShelleyLedgerEra era)
-  , L.EraUTxO (ShelleyLedgerEra era)
-  , L.ExtendedUTxO (ShelleyLedgerEra era)
-  , L.HashAnnotated (L.TxBody (ShelleyLedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
-  , L.MaryEraTxBody (ShelleyLedgerEra era)
-  , L.Script (ShelleyLedgerEra era) ~ L.AlonzoScript (ShelleyLedgerEra era)
-  , L.ScriptsNeeded (ShelleyLedgerEra era) ~ L.AlonzoScriptsNeeded (ShelleyLedgerEra era)
-  , L.ShelleyEraTxBody (ShelleyLedgerEra era)
-  , L.ShelleyEraTxCert (ShelleyLedgerEra era)
-  , L.TxOut (ShelleyLedgerEra era) ~ L.BabbageTxOut (ShelleyLedgerEra era)
-  , L.Value (ShelleyLedgerEra era) ~ L.MaryValue L.StandardCrypto
+  , L.AlonzoEraTxOut (LedgerEra era)
+  , L.BabbageEraPParams (LedgerEra era)
+  , L.BabbageEraTxBody (LedgerEra era)
+  , L.BabbageEraTxOut (LedgerEra era)
+  , L.Crypto (L.EraCrypto (LedgerEra era))
+  , L.Era (LedgerEra era)
+  , L.EraCrypto (LedgerEra era) ~ L.StandardCrypto
+  , L.EraPlutusContext 'L.PlutusV1 (LedgerEra era)
+  , L.EraPParams (LedgerEra era)
+  , L.EraTx (LedgerEra era)
+  , L.EraTxBody (LedgerEra era)
+  , L.EraTxOut (LedgerEra era)
+  , L.EraUTxO (LedgerEra era)
+  , L.ExtendedUTxO (LedgerEra era)
+  , L.HashAnnotated (L.TxBody (LedgerEra era)) L.EraIndependentTxBody L.StandardCrypto
+  , L.MaryEraTxBody (LedgerEra era)
+  , L.Script (LedgerEra era) ~ L.AlonzoScript (LedgerEra era)
+  , L.ScriptsNeeded (LedgerEra era) ~ L.AlonzoScriptsNeeded (LedgerEra era)
+  , L.ShelleyEraTxBody (LedgerEra era)
+  , L.ShelleyEraTxCert (LedgerEra era)
+  , L.TxOut (LedgerEra era) ~ L.BabbageTxOut (LedgerEra era)
+  , L.Value (LedgerEra era) ~ L.MaryValue L.StandardCrypto
 
   , FromCBOR (Consensus.ChainDepState (ConsensusProtocol era))
   , FromCBOR (DebugLedgerState era)