New inEonForEraMaybe function

IntersectMBO · Sep 28, 2023 · 490be69 · 490be69
1 parent c8b1d1b
commit 490be69
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/cardano-api/internal/Cardano/Api/Eras.hs b/cardano-api/internal/Cardano/Api/Eras.hs
@@ -22,6 +22,7 @@ module Cardano.Api.Eras
 
     -- * IsEon
   , Eon(..)
+  , inEonForEraMaybe
   , forEraInEon
   , forEraInEonMaybe
   , forEraMaybeEon

diff --git a/cardano-api/internal/Cardano/Api/Eras/Core.hs b/cardano-api/internal/Cardano/Api/Eras/Core.hs
@@ -30,6 +30,7 @@ module Cardano.Api.Eras.Core
 
     -- * IsEon
   , Eon(..)
+  , inEonForEraMaybe
   , forEraInEon
   , forEraInEonMaybe
   , forEraMaybeEon
@@ -115,6 +116,14 @@ class Eon (eon :: Type -> Type) where
     -> CardanoEra era -- ^ Era to check
     -> a              -- ^ The value to use
 
+inEonForEraMaybe :: ()
+  => Eon eon
+  => (eon era -> a)   -- ^ Function to get the value to use if the eon includes the era
+  -> CardanoEra era   -- ^ Era to check
+  -> Maybe a          -- ^ The value to use
+inEonForEraMaybe yes =
+  inEonForEra Nothing (Just . yes)
+
 forEraInEon :: ()
   => Eon eon
   => CardanoEra era   -- ^ Era to check

diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
@@ -29,6 +29,7 @@ module Cardano.Api (
 
     -- * Eon support
     Eon(..),
+    inEonForEraMaybe,
     forEraInEon,
     forEraInEonMaybe,
     forEraMaybeEon,