Refactor signTx

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

@@ -43,14 +43,18 @@ library
     , base
     , bytestring
     , cardano-addresses
+    , crypto-hash-extra
     , cardano-api
     , cardano-coin-selection
+    , cardano-crypto
     , cardano-crypto-class
     , cardano-ledger-allegra
+    , cardano-crypto-wrapper
     , cardano-ledger-alonzo
     , cardano-ledger-api
     , cardano-ledger-babbage
     , cardano-ledger-binary
+    , cardano-ledger-byron
     , cardano-ledger-conway
     , cardano-ledger-core
     , cardano-ledger-mary

lib/balance-tx/lib/Cardano/Wallet/Write/Tx.hs

@@ -108,6 +108,7 @@ module Cardano.Wallet.Write.Tx
 
     -- ** Address
     , Address
+    , Ledger.Addr (..)
     , unsafeAddressFromBytes
 
     -- ** Value
@@ -295,6 +296,7 @@ type RecentEraLedgerConstraints era =
     , Core.Value era ~ MaryValue StandardCrypto
     , Core.TxWits era ~ AlonzoTxWits era
     , ExtendedUTxO era
+    , Core.EraTxBody era
     , Alonzo.AlonzoEraPParams era
     , Ledger.AlonzoEraTx era
     , Alonzo.AlonzoEraTxBody era
@@ -312,7 +314,7 @@ type RecentEraLedgerConstraints era =
 -- https://cardanofoundation.atlassian.net/browse/ADP-2353
 withConstraints
     :: RecentEra era
-    -> ((RecentEraLedgerConstraints (ShelleyLedgerEra era)) => a)
+    -> ((IsRecentEra era, RecentEraLedgerConstraints (ShelleyLedgerEra era)) => a)
     -> a
 withConstraints era a = case era of
     RecentEraBabbage -> a