Rename MaybeInRecentEra to InAnyEra.

cardano-foundation · May 31, 2023 · 2b7ad9e · 2b7ad9e
1 parent ac6c279
commit 2b7ad9e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/lib/wallet/src/Cardano/Wallet/Primitive/Types.hs b/lib/wallet/src/Cardano/Wallet/Primitive/Types.hs
@@ -176,7 +176,7 @@ import Cardano.Wallet.Primitive.Types.Tx.Tx
 import Cardano.Wallet.Util
     ( ShowFmt (..), parseURI, uriToText )
 import Cardano.Wallet.Write.Tx
-    ( MaybeInRecentEra )
+    ( InAnyEra )
 import Control.Arrow
     ( left, right )
 import Control.DeepSeq
@@ -886,7 +886,7 @@ data ProtocolParameters = ProtocolParameters
         -- transaction, based on the 'ExecutionUnits' needed by the use of
         -- the script.
     , currentLedgerProtocolParameters
-        :: MaybeInRecentEra Write.ProtocolParameters
+        :: InAnyEra Write.ProtocolParameters
         -- ^ The full, raw ledger protocol parameters for writing (constructing)
         -- transactions in case the node is in a recent era.
     } deriving (Eq, Generic, Show)

diff --git a/lib/wallet/src/Cardano/Wallet/Write/Tx.hs b/lib/wallet/src/Cardano/Wallet/Write/Tx.hs
@@ -36,7 +36,7 @@ module Cardano.Wallet.Write.Tx
     , IsRecentEra (..)
     , toRecentEra
     , fromRecentEra
-    , MaybeInRecentEra (..)
+    , InAnyEra (..)
     , InRecentEra (..)
     , InBygoneEra (..)
     , toRecentEraGADT
@@ -360,7 +360,7 @@ cardanoEra = cardanoEraFromRecentEra $ recentEra @era
 shelleyBasedEra :: forall era. IsRecentEra era => Cardano.ShelleyBasedEra era
 shelleyBasedEra = shelleyBasedEraFromRecentEra $ recentEra @era
 
-data MaybeInRecentEra (thing :: Type -> Type)
+data InAnyEra (thing :: Type -> Type)
     = InBygoneEra !(InBygoneEra)
     | InRecentEra !(InRecentEra thing)
 
@@ -377,17 +377,17 @@ data InRecentEra (thing :: Type -> Type)
     | InEraConway  !(thing ConwayEra)
 
 deriving instance (Eq (a BabbageEra), (Eq (a ConwayEra)))
-    => Eq (MaybeInRecentEra a)
+    => Eq (InAnyEra a)
 deriving instance (Show (a BabbageEra), (Show (a ConwayEra)))
-    => Show (MaybeInRecentEra a)
+    => Show (InAnyEra a)
 
 deriving instance (Eq (a BabbageEra), (Eq (a ConwayEra)))
     => Eq (InRecentEra a)
 deriving instance (Show (a BabbageEra), (Show (a ConwayEra)))
     => Show (InRecentEra a)
 
 toRecentEraGADT
-    :: MaybeInRecentEra a
+    :: InAnyEra a
     -> Either Cardano.AnyCardanoEra (InAnyRecentEra a)
 toRecentEraGADT = \case
     InBygoneEra e -> Left  $ inBygoneEra e