Add public module Cardano.Write.Eras

lib/api/src/Cardano/Wallet/Api/Http/Server/Error.hs

@@ -221,9 +221,11 @@ import qualified Data.Foldable as F
 import qualified Data.List as L
 import qualified Data.Text as T
 import qualified Data.Text.Encoding as T
-import qualified Internal.Cardano.Write.Tx as Write
+import qualified Cardano.Write.Eras as Write
     ( IsRecentEra
-    , serializeTx
+    )
+import qualified Internal.Cardano.Write.Tx as Write
+    ( serializeTx
     )
 import qualified Internal.Cardano.Write.Tx as WriteTx
 import qualified Internal.Cardano.Write.Tx.Balance as Write

lib/api/src/Cardano/Wallet/Api/Http/Server/Error/AssignReedemers.hs

@@ -20,7 +20,7 @@ import Cardano.Wallet.Api.Types.Error
 import Fmt
     ( pretty
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( IsRecentEra (..)
     )
 import Internal.Cardano.Write.Tx.Balance

lib/api/src/Cardano/Wallet/Api/Http/Shelley/Server.hs

@@ -799,7 +799,7 @@ import Fmt
 import GHC.Generics
     ( Generic
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( AnyRecentEra (..)
     )
 import Internal.Cardano.Write.Tx.Balance
@@ -891,16 +891,18 @@ import qualified Data.List.NonEmpty as NE
 import qualified Data.Map.Strict as Map
 import qualified Data.Set as Set
 import qualified Data.Text as T
+import qualified Cardano.Write.Eras as Write
+    ( IsRecentEra
+    , RecentEra
+    , cardanoEra
+    , cardanoEraFromRecentEra
+    )
 import qualified Internal.Cardano.Write.Tx as Write
     ( Datum (DatumHash, NoDatum)
-    , IsRecentEra
     , PParamsInAnyRecentEra (PParamsInAnyRecentEra)
-    , RecentEra
     , Tx
     , TxIn
     , TxOutInRecentEra (TxOutInRecentEra)
-    , cardanoEra
-    , cardanoEraFromRecentEra
     , fromCardanoApiTx
     , getFeePerByte
     , pattern PolicyId

lib/api/src/Cardano/Wallet/Api/Types/Era.hs

@@ -71,7 +71,7 @@ import Text.Show
 import qualified Cardano.Wallet.Read as Read
 import qualified Data.Aeson as Aeson
 import qualified Data.Set as Set
-import qualified Internal.Cardano.Write.Tx as Write
+import qualified Cardano.Write.Eras as Write
     ( allRecentEras
     , toAnyCardanoEra
     )

lib/balance-tx/cardano-balance-tx.cabal

@@ -40,6 +40,7 @@ library
   build-depends:
     , cardano-balance-tx:internal
   exposed-modules:
+    Cardano.Write.Eras
     Cardano.Write.Tx
 
 library internal

lib/balance-tx/lib/main/Cardano/Write/Eras.hs

@@ -0,0 +1,55 @@
+-- |
+-- Copyright: © 2024 Cardano Foundation
+-- License: Apache-2.0
+--
+module Cardano.Write.Eras
+    (
+    -- * Eras
+      BabbageEra
+    , ConwayEra
+
+    -- ** RecentEra
+    , RecentEra (..)
+    , IsRecentEra (..)
+    , CardanoApiEra
+    , toRecentEra
+    , fromRecentEra
+    , MaybeInRecentEra (..)
+    , LatestLedgerEra
+    , RecentEraConstraints
+    , allRecentEras
+
+    -- ** Existential wrapper
+    , AnyRecentEra (..)
+    , toAnyCardanoEra
+    , fromAnyCardanoEra
+
+    -- ** Helpers for cardano-api compatibility
+    , cardanoEra
+    , shelleyBasedEra
+    , ShelleyLedgerEra
+    , cardanoEraFromRecentEra
+    , shelleyBasedEraFromRecentEra
+    ) where
+
+import Internal.Cardano.Write.Eras
+    ( AnyRecentEra (..)
+    , BabbageEra
+    , ShelleyLedgerEra
+    , CardanoApiEra
+    , ConwayEra
+    , IsRecentEra (..)
+    , LatestLedgerEra
+    , MaybeInRecentEra (..)
+    , RecentEra (..)
+    , RecentEraConstraints
+    , allRecentEras
+    , cardanoEra
+    , cardanoEraFromRecentEra
+    , fromAnyCardanoEra
+    , fromRecentEra
+    , shelleyBasedEra
+    , shelleyBasedEraFromRecentEra
+    , toAnyCardanoEra
+    , toRecentEra
+    )

lib/network-layer/cardano-wallet-network-layer.cabal

@@ -70,6 +70,7 @@ library
     , base
     , bytestring
     , cardano-api
+    , cardano-balance-tx
     , cardano-balance-tx:internal
     , cardano-binary
     , cardano-crypto-class

lib/network-layer/src/Cardano/Wallet/Network.hs

@@ -72,6 +72,9 @@ import Cardano.Wallet.Primitive.Types.StakePoolSummary
 import Cardano.Wallet.Primitive.Types.Tx.SealedTx
     ( SealedTx
     )
+import Cardano.Write.Eras
+    ( MaybeInRecentEra
+    )
 import Control.Monad.Trans.Except
     ( ExceptT (..)
     )
@@ -96,9 +99,6 @@ import Data.Text.Class
 import GHC.Generics
     ( Generic
     )
-import Internal.Cardano.Write.Tx
-    ( MaybeInRecentEra
-    )
 
 import qualified Cardano.Wallet.Read as Read
 import qualified Data.Text as T

lib/network-layer/src/Cardano/Wallet/Network/Implementation.hs

@@ -264,7 +264,7 @@ import Fmt
 import GHC.Stack
     ( HasCallStack
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( MaybeInRecentEra (..)
     )
 import Network.Mux

lib/network-layer/src/Cardano/Wallet/Network/LocalStateQuery/PParams.hs

@@ -44,7 +44,7 @@ import Cardano.Wallet.Primitive.Types.ProtocolParameters
 import Cardano.Wallet.Primitive.Types.SlottingParameters
     ( SlottingParameters
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( MaybeInRecentEra (..)
     )
 import Ouroboros.Consensus.Cardano

lib/network-layer/src/Cardano/Wallet/Network/LocalStateQuery/UTxO.hs

@@ -26,7 +26,7 @@ import Cardano.Wallet.Network.LocalStateQuery.Extra
 import Data.Set
     ( Set
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( MaybeInRecentEra (..)
     )
 import Ouroboros.Consensus.Cardano

lib/unit/cardano-wallet-unit.cabal

@@ -45,6 +45,7 @@ library test-common
     , base
     , bytestring
     , cardano-api
+    , cardano-balance-tx
     , cardano-balance-tx:internal
     , cardano-wallet
     , cardano-wallet-network-layer

lib/unit/test-common/Cardano/Wallet/DummyTarget/Primitive/Types.hs

@@ -92,6 +92,7 @@ import Internal.Cardano.Write.Tx.Gen
     )
 
 import qualified Data.ByteString.Char8 as B8
+import qualified Cardano.Write.Eras as Write
 import qualified Internal.Cardano.Write.Tx as Write
 
 {-----------------------------------------------------------------------------

lib/unit/test/unit/Cardano/Wallet/Shelley/TransactionSpec.hs

@@ -267,7 +267,7 @@ import Fmt
     , (+||)
     , (||+)
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( AnyRecentEra (..)
     , CardanoApiEra
     , IsRecentEra

lib/wallet/src/Cardano/Wallet.hs

@@ -802,10 +802,12 @@ import GHC.Stack
 import GHC.TypeNats
     ( Nat
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( MaybeInRecentEra (..)
     , recentEra
-    , toRecentEraGADT
+    )
+import Internal.Cardano.Write.Tx
+    ( toRecentEraGADT
     )
 import Internal.Cardano.Write.Tx.Balance
     ( ChangeAddressGen (..)
@@ -873,19 +875,21 @@ import qualified Data.List.NonEmpty as NE
 import qualified Data.Set as Set
 import qualified Data.Text as T
 import qualified Data.Vector as V
-import qualified Internal.Cardano.Write.Tx as Write
+import qualified Cardano.Write.Eras as Write
     ( AnyRecentEra
     , CardanoApiEra
-    , ErrInvalidTxOutInEra
-    , FeePerByte
     , IsRecentEra (..)
     , MaybeInRecentEra (..)
+    , RecentEra (..)
+    , cardanoEraFromRecentEra
+    )
+import qualified Internal.Cardano.Write.Tx as Write
+    ( ErrInvalidTxOutInEra
+    , FeePerByte
     , PParams
     , PParamsInAnyRecentEra (PParamsInAnyRecentEra)
-    , RecentEra (..)
     , Tx
     , UTxO (UTxO)
-    , cardanoEraFromRecentEra
     , feeOfBytes
     , forceUTxOToEra
     , fromCardanoApiTx

lib/wallet/src/Cardano/Wallet/Delegation.hs

@@ -72,7 +72,7 @@ import qualified Cardano.Wallet.DB.WalletState as WalletState
 import qualified Cardano.Wallet.Primitive.Types as W
 import qualified Cardano.Wallet.Transaction as Tx
 import qualified Data.Set as Set
-import qualified Internal.Cardano.Write.Tx as Write
+import qualified Cardano.Write.Eras as Write
 
 -- | The data type that represents client's delegation request.
 -- Stake key registration is made implicit by design:

lib/wallet/src/Cardano/Wallet/Shelley/Transaction.hs

@@ -237,7 +237,7 @@ import Data.Word
     ( Word64
     , Word8
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( CardanoApiEra
     , RecentEra (..)
     )
@@ -274,22 +274,24 @@ import qualified Data.List as L
 import qualified Data.Map as Map
 import qualified Data.Set as Set
 import qualified Data.Text as T
-import qualified Internal.Cardano.Write.Tx as Write
+import qualified Cardano.Write.Eras as Write
     ( CardanoApiEra
-    , Coin
-    , FeePerByte
     , IsRecentEra (recentEra)
-    , PParams
     , RecentEra (RecentEraBabbage, RecentEraConway)
+    , shelleyBasedEra
+    , shelleyBasedEraFromRecentEra
+    )
+import qualified Internal.Cardano.Write.Tx as Write
+    ( Coin
+    , FeePerByte
+    , PParams
     , Tx
     , TxOut
     , computeMinimumCoinForTxOut
     , feeOfBytes
     , fromCardanoApiTx
     , getFeePerByte
     , isBelowMinimumCoinForTxOut
-    , shelleyBasedEra
-    , shelleyBasedEraFromRecentEra
     , toCardanoApiTx
     )
 import qualified Internal.Cardano.Write.Tx.Sign as Write

lib/wallet/src/Cardano/Wallet/Transaction/Delegation.hs

@@ -46,9 +46,9 @@ import Cryptography.Hash.Blake
 import Data.ByteString.Short
     ( toShort
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( CardanoApiEra
-    , RecentEra (RecentEraBabbage, RecentEraConway)
+    , RecentEra (..)
     )
 
 import qualified Cardano.Api as Cardano

lib/wallet/src/Cardano/Wallet/Transaction/Voting.hs

@@ -43,9 +43,9 @@ import Cryptography.Hash.Blake
 import Data.ByteString.Short
     ( toShort
     )
-import Internal.Cardano.Write.Tx
+import Cardano.Write.Eras
     ( CardanoApiEra
-    , RecentEra (RecentEraBabbage, RecentEraConway)
+    , RecentEra (..)
     )
 
 import qualified Cardano.Api as Cardano