@@ -13,6 +13,8 @@ module Cardano.Api.Era.Internal.Case
1313 , caseShelleyToMaryOrAlonzoEraOnwards
1414 , caseShelleyToAlonzoOrBabbageEraOnwards
1515 , caseShelleyToBabbageOrConwayEraOnwards
16+ -- Case on BabbageEraOnwards
17+ , caseBabbageOnlyOrConwayEraOnwards
1618 -- Conversions
1719 , shelleyToAlonzoEraToShelleyToBabbageEra
1820 , alonzoEraOnwardsToMaryEraOnwards
@@ -157,6 +159,19 @@ caseShelleyToBabbageOrConwayEraOnwards l r = \case
157159 ShelleyBasedEraConway -> r ConwayEraOnwardsConway
158160 ShelleyBasedEraDijkstra -> error " caseShelleyToBabbageOrConwayEraOnwards: DijkstraEra is not supported"
159161
162+ -- | @caseBabbageOnlyOrConwayEraOnwards f g era@ applies @f@ to babbage era only;
163+ -- and applies @g@ to conway and later eras.
164+ caseBabbageOnlyOrConwayEraOnwards
165+ :: ()
166+ => a
167+ -> (ConwayEraOnwardsConstraints era => ConwayEraOnwards era -> a )
168+ -> BabbageEraOnwards era
169+ -> a
170+ caseBabbageOnlyOrConwayEraOnwards l r = \ case
171+ BabbageEraOnwardsBabbage -> l
172+ BabbageEraOnwardsConway -> r ConwayEraOnwardsConway
173+ BabbageEraOnwardsDijkstra -> error " caseBabbageOnlyOrConwayEraOnwards: DijkstraEra is not supported"
174+
160175{-# DEPRECATED shelleyToAlonzoEraToShelleyToBabbageEra "Use convert instead" #-}
161176shelleyToAlonzoEraToShelleyToBabbageEra
162177 :: ()
0 commit comments