Merge pull request #1199 from IntersectMBO/jordan/widen-ledger-era-family

Widen Exp.SignedTx to all Shelley-based eras

Author: Jimbo4350

.changes/20260505_cardano_api_widen_signed_tx_to_shelley_based_eras.yml

@@ -0,0 +1,6 @@
+project: cardano-api
+pr: 1199
+kind:
+  - compatible
+description: |
+  Widen `Cardano.Api.Experimental.SignedTx era` to all Shelley-based eras (Shelley through Dijkstra) by reparameterising it on `ShelleyLedgerEra era` instead of `LedgerEra era`. This allows deserialising `SignedTx` for any Shelley-based era via `SerialiseAsRawBytes` without widening the `LedgerEra` family or its Conway-onwards constraint surface.

cardano-api/src/Cardano/Api/Experimental/Tx.hs

@@ -281,7 +281,7 @@ makeKeyWitness era (UnsignedTx unsignedTx) wsk =
 
 -- | A transaction that has been witnesssed
 data SignedTx era
-  = L.EraTx (LedgerEra era) => SignedTx (Ledger.Tx Ledger.TopTx (LedgerEra era))
+  = L.EraTx (ShelleyLedgerEra era) => SignedTx (Ledger.Tx Ledger.TopTx (ShelleyLedgerEra era))
 
 deriving instance Eq (SignedTx era)
 
@@ -294,16 +294,16 @@ instance HasTypeProxy era => HasTypeProxy (SignedTx era) where
 
 instance
   ( HasTypeProxy era
-  , L.EraTx (LedgerEra era)
+  , L.EraTx (ShelleyLedgerEra era)
   )
   => SerialiseAsRawBytes (SignedTx era)
   where
   serialiseToRawBytes (SignedTx tx) =
-    Ledger.serialize' (Ledger.eraProtVerHigh @(LedgerEra era)) tx
+    Ledger.serialize' (Ledger.eraProtVerHigh @(ShelleyLedgerEra era)) tx
   deserialiseFromRawBytes _ =
     bimap wrapError SignedTx
       . Ledger.decodeFullAnnotator
-        (Ledger.eraProtVerHigh @(LedgerEra era))
+        (Ledger.eraProtVerHigh @(ShelleyLedgerEra era))
         "SignedTx"
         Ledger.decCBOR
       . fromStrict

cardano-api/test/cardano-api-test/Test/Cardano/Api/Experimental.hs

@@ -149,7 +149,7 @@ prop_created_transaction_with_both_apis_are_the_same = H.propertyOnce $ do
   exampleTransactionExperimentalWay
     :: H.MonadTest m
     => Exp.Era Exp.ConwayEra
-    -> m (Ledger.Tx L.TopTx (Exp.LedgerEra Exp.ConwayEra))
+    -> m (Ledger.Tx L.TopTx (Api.ShelleyLedgerEra Exp.ConwayEra))
   exampleTransactionExperimentalWay era = do
     txBodyContent <- exampleTxBodyContentExperimental era
     signingKey <- exampleSigningKey
@@ -160,7 +160,7 @@ prop_created_transaction_with_both_apis_are_the_same = H.propertyOnce $ do
     let bootstrapWitnesses = []
         keyWitnesses = [witness]
 
-    let Exp.SignedTx (signedTx :: Ledger.Tx L.TopTx (Exp.LedgerEra Exp.ConwayEra)) = Exp.signTx era bootstrapWitnesses keyWitnesses unsignedTx
+    let Exp.SignedTx (signedTx :: Ledger.Tx L.TopTx (Api.ShelleyLedgerEra Exp.ConwayEra)) = Exp.signTx era bootstrapWitnesses keyWitnesses unsignedTx
     return signedTx
 
 prop_balance_transaction_two_ways :: Property