From 0ad5520d236830282d3bc25248b12bd552fdbe4e Mon Sep 17 00:00:00 2001
From: John Ky <john.ky@iohk.io>
Date: Thu, 6 Jul 2023 08:37:38 +1000
Subject: [PATCH] New shelleyBasedEraConstraints fuction

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

diff --git a/cardano-api/internal/Cardano/Api/Eras.hs b/cardano-api/internal/Cardano/Api/Eras.hs
index 2590390707..4f8c4e8d11 100644
--- a/cardano-api/internal/Cardano/Api/Eras.hs
+++ b/cardano-api/internal/Cardano/Api/Eras.hs
@@ -40,6 +40,7 @@ module Cardano.Api.Eras
   , IsShelleyBasedEra(..)
   , AnyShelleyBasedEra(..)
   , InAnyShelleyBasedEra(..)
+  , shelleyBasedEraConstraints
   , shelleyBasedToCardanoEra
 
     -- ** Mapping to era types from the Shelley ledger library
@@ -579,3 +580,15 @@ cardanoEraConstraints = \case
   AlonzoEra  -> id
   BabbageEra -> id
   ConwayEra  -> id
+
+shelleyBasedEraConstraints :: ()
+  => ShelleyBasedEra era
+  -> (Typeable era => IsShelleyBasedEra era => a)
+  -> a
+shelleyBasedEraConstraints = \case
+  ShelleyBasedEraShelley -> id
+  ShelleyBasedEraAllegra -> id
+  ShelleyBasedEraMary    -> id
+  ShelleyBasedEraAlonzo  -> id
+  ShelleyBasedEraBabbage -> id
+  ShelleyBasedEraConway  -> id
diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
index 284485be52..3dfc25ba85 100644
--- a/cardano-api/src/Cardano/Api.hs
+++ b/cardano-api/src/Cardano/Api.hs
@@ -34,6 +34,7 @@ module Cardano.Api (
     CardanoEraStyle(..),
     cardanoEraStyle,
     shelleyBasedToCardanoEra,
+    shelleyBasedEraConstraints,
 
     -- * Assertions on era
     requireShelleyBasedEra,