Fixup Level

Author: kderme

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Alonzo.hs

@@ -449,7 +449,7 @@ emptyTx =
       , atAuxData = maybeToStrictMaybe Nothing
       }
 
-mkDummyTxWithSlot :: SlotNo -> Core.Tx AlonzoEra
+mkDummyTxWithSlot :: SlotNo -> Core.Tx Core.TopTx AlonzoEra
 mkDummyTxWithSlot slot =
   MkAlonzoTx $
     AlonzoTx
@@ -475,9 +475,9 @@ mkDummyTxWithSlot slot =
 
 mkAuxDataTx ::
   Bool ->
-  TxBody AlonzoEra ->
+  TxBody Core.TopTx AlonzoEra ->
   Map Word64 Metadatum ->
-  Core.Tx AlonzoEra
+  Core.Tx Core.TopTx AlonzoEra
 mkAuxDataTx isValid' txBody auxData =
   MkAlonzoTx $
     AlonzoTx

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Babbage.hs

@@ -504,7 +504,7 @@ emptyTx =
       , atAuxData = maybeToStrictMaybe Nothing
       }
 
-mkDummyTxWithSlot :: SlotNo -> Core.Tx BabbageEra
+mkDummyTxWithSlot :: SlotNo -> Core.Tx Core.TopTx BabbageEra
 mkDummyTxWithSlot slot =
   MkBabbageTx $
     AlonzoTx
@@ -533,9 +533,9 @@ mkDummyTxWithSlot slot =
 
 mkAuxDataTx ::
   Bool ->
-  TxBody BabbageEra ->
+  TxBody Core.TopTx BabbageEra ->
   Map Word64 Metadatum ->
-  Core.Tx BabbageEra
+  Core.Tx Core.TopTx BabbageEra
 mkAuxDataTx isValid' txBody auxData =
   MkBabbageTx $
     AlonzoTx
@@ -545,7 +545,7 @@ mkAuxDataTx isValid' txBody auxData =
       , atAuxData = Strict.SJust (Alonzo.mkAlonzoTxAuxData auxData [])
       }
 
-mkParamUpdateTx :: Either ForgingError (Core.Tx BabbageEra)
+mkParamUpdateTx :: Either ForgingError (Core.Tx Core.TopTx BabbageEra)
 mkParamUpdateTx = Right (mkSimpleTx True txBody)
   where
     txBody =

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Conway.hs

@@ -653,7 +653,7 @@ mkDummyTxBody =
 
 -- | Create a dummy tx with a unique validity interval based on the slot.
 -- This ensures a unique tx body hash for each slot.
-mkDummyTxWithSlot :: SlotNo -> Core.Tx ConwayEra
+mkDummyTxWithSlot :: SlotNo -> Core.Tx Core.TopTx ConwayEra
 mkDummyTxWithSlot slot =
   MkConwayTx $
     AlonzoTx

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Shelley.hs

@@ -114,15 +114,15 @@ consTxBody ins outs fees certs wdrl =
 
 -- | Create a dummy tx with a unique TTL based on the slot.
 -- This ensures a unique tx body hash for each slot.
-mkDummyTxWithSlot :: SlotNo -> Core.Tx ShelleyEra
+mkDummyTxWithSlot :: SlotNo -> Core.Tx Core.TopTx ShelleyEra
 mkDummyTxWithSlot slot =
   ShelleyTx.MkShelleyTx $
     ShelleyTx.ShelleyTx
       ( ShelleyTxBody
           mempty
           mempty
           mempty
-          (Withdrawals mempty)
+          (Core.Withdrawals mempty)
           (Coin 0)
           slot
           Strict.SNothing