From 87dc6f018faa6ac897e302f5adfbd8fef17be963 Mon Sep 17 00:00:00 2001
From: John Ky <john.ky@iohk.io>
Date: Sun, 24 Sep 2023 00:48:35 +1000
Subject: [PATCH] New function shelleyToAllegraEraToByronToAllegraEra and
 alonzoEraOnwardsToMaryEraOnwards

---
 cardano-api/internal/Cardano/Api/Eras/Case.hs | 9 +++++++++
 cardano-api/src/Cardano/Api.hs                | 5 +++++
 2 files changed, 14 insertions(+)

diff --git a/cardano-api/internal/Cardano/Api/Eras/Case.hs b/cardano-api/internal/Cardano/Api/Eras/Case.hs
index 5f3e716f90..9f7392c138 100644
--- a/cardano-api/internal/Cardano/Api/Eras/Case.hs
+++ b/cardano-api/internal/Cardano/Api/Eras/Case.hs
@@ -21,6 +21,7 @@ module Cardano.Api.Eras.Case
 
     -- Conversions
   , shelleyToAllegraEraToByronToAllegraEra
+  , alonzoEraOnwardsToMaryEraOnwards
   ) where
 
 import           Cardano.Api.Eon.AlonzoEraOnwards
@@ -154,3 +155,11 @@ shelleyToAllegraEraToByronToAllegraEra :: ShelleyToAllegraEra era -> ByronToAlle
 shelleyToAllegraEraToByronToAllegraEra = \case
   ShelleyToAllegraEraShelley -> ByronToAllegraEraShelley
   ShelleyToAllegraEraAllegra -> ByronToAllegraEraAllegra
+
+alonzoEraOnwardsToMaryEraOnwards :: ()
+  => AlonzoEraOnwards era
+  -> MaryEraOnwards era
+alonzoEraOnwardsToMaryEraOnwards = \case
+  AlonzoEraOnwardsAlonzo  -> MaryEraOnwardsAlonzo
+  AlonzoEraOnwardsBabbage -> MaryEraOnwardsBabbage
+  AlonzoEraOnwardsConway  -> MaryEraOnwardsConway
diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
index ae02ab5092..54c456a3cc 100644
--- a/cardano-api/src/Cardano/Api.hs
+++ b/cardano-api/src/Cardano/Api.hs
@@ -139,6 +139,10 @@ module Cardano.Api (
     caseShelleyToAlonzoOrBabbageEraOnwards,
     caseShelleyToBabbageOrConwayEraOnwards,
 
+    -- ** Eon relaxation
+    shelleyToAllegraEraToByronToAllegraEra,
+    alonzoEraOnwardsToMaryEraOnwards,
+
     -- * Assertions on era
     requireShelleyBasedEra,
 
@@ -1034,6 +1038,7 @@ import           Cardano.Api.Eon.ShelleyToBabbageEra
 import           Cardano.Api.Eon.ShelleyToMaryEra
 import           Cardano.Api.EraCast
 import           Cardano.Api.Eras
+import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Constraints
 import           Cardano.Api.Error
 import           Cardano.Api.Feature