Merge pull request #231 from input-output-hk/newhoggy/new-caseShelley…

…ToBabbageAndConwayEraOnwards-function New `caseShelleyToBabbageAndConwayEraOnwards` function
IntersectMBO · Sep 9, 2023 · ebbca89 · ebbca89
2 parents 6b18972 + e99eca8
commit ebbca89
Show file tree

Hide file tree

Showing 5 changed files with 32 additions and 1 deletion.
diff --git a/cardano-api/cardano-api.cabal b/cardano-api/cardano-api.cabal
@@ -57,6 +57,7 @@ library internal
                         Cardano.Api.DRepMetadata
                         Cardano.Api.EraCast
                         Cardano.Api.Eras
+                        Cardano.Api.Eras.Case
                         Cardano.Api.Eras.Constraints
                         Cardano.Api.Eras.Core
                         Cardano.Api.Error

diff --git a/cardano-api/internal/Cardano/Api/Eras.hs b/cardano-api/internal/Cardano/Api/Eras.hs
@@ -51,7 +51,11 @@ module Cardano.Api.Eras
   , requireShelleyBasedEra
 
   , withShelleyBasedEraConstraintsForLedger
+
+    -- * Era case handling
+  , caseShelleyToBabbageAndConwayEraOnwards
   ) where
 
+import           Cardano.Api.Eras.Case
 import           Cardano.Api.Eras.Constraints
 import           Cardano.Api.Eras.Core
diff --git a/cardano-api/internal/Cardano/Api/Eras/Case.hs b/cardano-api/internal/Cardano/Api/Eras/Case.hs
@@ -0,0 +1,23 @@
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE LambdaCase #-}
+
+module Cardano.Api.Eras.Case
+  ( caseShelleyToBabbageAndConwayEraOnwards
+  ) where
+
+import           Cardano.Api.Eras.Core
+import           Cardano.Api.Feature.ConwayEraOnwards
+import           Cardano.Api.Feature.ShelleyToBabbageEra
+
+caseShelleyToBabbageAndConwayEraOnwards :: ()
+  => (ShelleyToBabbageEra era -> a)
+  -> (ConwayEraOnwards era -> a)
+  -> ShelleyBasedEra era
+  -> a
+caseShelleyToBabbageAndConwayEraOnwards l r = \case
+  ShelleyBasedEraShelley -> l ShelleyToBabbageEraShelley
+  ShelleyBasedEraAllegra -> l ShelleyToBabbageEraAllegra
+  ShelleyBasedEraMary    -> l ShelleyToBabbageEraMary
+  ShelleyBasedEraAlonzo  -> l ShelleyToBabbageEraAlonzo
+  ShelleyBasedEraBabbage -> l ShelleyToBabbageEraBabbage
+  ShelleyBasedEraConway  -> r ConwayEraOnwardsConway
diff --git a/cardano-api/internal/Cardano/Api/Feature/ConwayEraOnwards.hs b/cardano-api/internal/Cardano/Api/Feature/ConwayEraOnwards.hs
@@ -16,7 +16,7 @@ module Cardano.Api.Feature.ConwayEraOnwards
   , conwayEraOnwardsToShelleyBasedEra
   ) where
 
-import           Cardano.Api.Eras
+import           Cardano.Api.Eras.Core
 import           Cardano.Api.Modes
 import           Cardano.Api.Query.Types
 

diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
@@ -67,6 +67,9 @@ module Cardano.Api (
     shelleyBasedEraConstraints,
     withShelleyBasedEraConstraintsForLedger,
 
+    -- * Era case handling
+    caseShelleyToBabbageAndConwayEraOnwards,
+
     -- * Assertions on era
     requireShelleyBasedEra,