Merge pull request #103 from input-output-hk/newhoggy/new-shelleyBase…

…dEraConstraints-function New `shelleyBasedEraConstraints` function
IntersectMBO · Jul 5, 2023 · 0df480e · 0df480e
2 parents ea56e4e + 0ad5520
commit 0df480e
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 0 deletions.
diff --git 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
@@ -34,6 +34,7 @@ module Cardano.Api (
     CardanoEraStyle(..),
     cardanoEraStyle,
     shelleyBasedToCardanoEra,
+    shelleyBasedEraConstraints,
 
     -- * Assertions on era
     requireShelleyBasedEra,