From b5538b34f68be27d5b8ec296a808cf2e810e04af Mon Sep 17 00:00:00 2001
From: John Ky <john.ky@iohk.io>
Date: Sat, 21 Oct 2023 15:11:00 +1100
Subject: [PATCH] Automatically switch on the eon for setting fields in ledger
 tx body

---
 cardano-api/internal/Cardano/Api/TxBody.hs | 63 +++++++---------------
 1 file changed, 18 insertions(+), 45 deletions(-)

diff --git a/cardano-api/internal/Cardano/Api/TxBody.hs b/cardano-api/internal/Cardano/Api/TxBody.hs
index 20ee19d2d6..c6fd7621f9 100644
--- a/cardano-api/internal/Cardano/Api/TxBody.hs
+++ b/cardano-api/internal/Cardano/Api/TxBody.hs
@@ -1828,59 +1828,32 @@ createTransactionBody sbe bc =
         languages = convLanguages apiScriptWitnesses
         sData = convScriptData sbe apiTxOuts apiScriptWitnesses
 
-    setUpdateProposal <-
-      caseShelleyToBabbageOrConwayEraOnwards
-        (\w -> (A.updateTxBodyL w .~) <$> convTxUpdateProposal sbe (txUpdateProposal bc))
-        (const $ pure id)
-        sbe
+    setUpdateProposal <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      (A.updateTxBodyL w .~) <$> convTxUpdateProposal sbe (txUpdateProposal bc)
 
-    setInvalidBefore <-
-      caseShelleyEraOnlyOrAllegraEraOnwards
-        (const $ pure id)
-        (\aOn -> pure $ A.invalidBeforeTxBodyL aOn .~ convValidityLowerBound (txValidityLowerBound bc))
-        sbe
+    setInvalidBefore <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.invalidBeforeTxBodyL w .~ convValidityLowerBound (txValidityLowerBound bc)
 
-    setMint <-
-      caseShelleyToAllegraOrMaryEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.mintTxBodyL w .~ convMintValue apiMintValue)
-        sbe
+    setMint <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.mintTxBodyL w .~ convMintValue apiMintValue
 
-    setScriptIntegrityHash <-
-      caseShelleyToMaryOrAlonzoEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.scriptIntegrityHashTxBodyL w .~ getScriptIntegrityHash apiProtocolParameters languages sData)
-        sbe
+    setScriptIntegrityHash <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.scriptIntegrityHashTxBodyL w .~ getScriptIntegrityHash apiProtocolParameters languages sData
 
-    setCollateralInputs <-
-      caseShelleyToMaryOrAlonzoEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.collateralInputsTxBodyL w .~ collTxIns)
-        sbe
+    setCollateralInputs <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.collateralInputsTxBodyL w .~ collTxIns
 
-    setReqSignerHashes <-
-      caseShelleyToMaryOrAlonzoEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.reqSignerHashesTxBodyL w .~ convExtraKeyWitnesses apiExtraKeyWitnesses)
-        sbe
+    setReqSignerHashes <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.reqSignerHashesTxBodyL w .~ convExtraKeyWitnesses apiExtraKeyWitnesses
 
-    setReferenceInputs <-
-      caseShelleyToAlonzoOrBabbageEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.referenceInputsTxBodyL w .~ refTxIns)
-        sbe
+    setReferenceInputs <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.referenceInputsTxBodyL w .~ refTxIns
 
-    setCollateralReturn <-
-      caseShelleyToAlonzoOrBabbageEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.collateralReturnTxBodyL w .~ returnCollateral)
-        sbe
+    setCollateralReturn <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.collateralReturnTxBodyL w .~ returnCollateral
 
-    setTotalCollateral <-
-      caseShelleyToAlonzoOrBabbageEraOnwards
-        (const $ pure id)
-        (\w -> pure $ A.totalCollateralTxBodyL w .~ totalCollateral)
-        sbe
+    setTotalCollateral <- forShelleyBasedEraInEon sbe (pure id) $ \w ->
+      pure $ A.totalCollateralTxBodyL w .~ totalCollateral
 
     let ledgerTxBody =
           mkCommonTxBody sbe (txIns bc) (txOuts bc) (txFee bc) (txWithdrawals bc) txAuxData