Merge pull request #304 from input-output-hk/smelc/add-babbage-era-only

Add BabbageEraOnly

cardano-api/cardano-api.cabal

@@ -57,6 +57,7 @@ library internal
                         Cardano.Api.Eon.AllegraEraOnwards
                         Cardano.Api.Eon.AlonzoEraOnly
                         Cardano.Api.Eon.AlonzoEraOnwards
+                        Cardano.Api.Eon.BabbageEraOnly
                         Cardano.Api.Eon.BabbageEraOnwards
                         Cardano.Api.Eon.ByronAndAllegraEraOnwards
                         Cardano.Api.Eon.ByronEraOnly

cardano-api/internal/Cardano/Api/Eon/BabbageEraOnly.hs

@@ -0,0 +1,55 @@
+{-# LANGUAGE ConstraintKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE LambdaCase #-}
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TypeFamilies #-}
+
+module Cardano.Api.Eon.BabbageEraOnly
+  ( BabbageEraOnly(..)
+  , babbageEraOnlyConstraints
+  , babbageEraOnlyToCardanoEra
+
+  , BabbageEraOnlyConstraints
+  ) where
+
+import           Cardano.Api.Eras.Core
+
+import           Data.Typeable (Typeable)
+
+data BabbageEraOnly era where
+  BabbageEraOnlyBabbage  :: BabbageEraOnly BabbageEra
+
+deriving instance Show (BabbageEraOnly era)
+deriving instance Eq (BabbageEraOnly era)
+
+instance Eon BabbageEraOnly where
+  inEonForEra no yes = \case
+    ByronEra    -> no
+    ShelleyEra  -> no
+    AllegraEra  -> no
+    MaryEra     -> no
+    AlonzoEra   -> no
+    BabbageEra  -> yes BabbageEraOnlyBabbage
+    ConwayEra   -> no
+
+instance ToCardanoEra BabbageEraOnly where
+  toCardanoEra = \case
+    BabbageEraOnlyBabbage  -> BabbageEra
+
+type BabbageEraOnlyConstraints era =
+  ( IsCardanoEra era
+  , Typeable era
+  )
+
+babbageEraOnlyConstraints :: ()
+  => BabbageEraOnly era
+  -> (BabbageEraOnlyConstraints era => a)
+  -> a
+babbageEraOnlyConstraints = \case
+  BabbageEraOnlyBabbage  -> id
+
+babbageEraOnlyToCardanoEra :: BabbageEraOnly era -> CardanoEra era
+babbageEraOnlyToCardanoEra = \case
+  BabbageEraOnlyBabbage  -> BabbageEra