refactor: explicit parameters for the Wallet.constructTransaction

lib/wallet/api/http/Cardano/Wallet/Api/Http/Shelley/Server.hs

@@ -2447,8 +2447,8 @@ constructTransaction
  , extraCoinSink = fromMaybe (Coin 0) deposit
  }
  unbalancedTx <- liftHandler $
- W.constructTransaction @_ @_ @_ @n @'CredFromKeyK
- wrk wid era txCtx' preSel
+ W.constructTransaction @n @'CredFromKeyK
+ txLayer netLayer db wid era txCtx' preSel
 
  let balancedPostData = ApiBalanceTransactionPostData
  { transaction = ApiT unbalancedTx

lib/wallet/src/Cardano/Wallet.hs

@@ -2513,31 +2513,21 @@ buildAndSignTransaction ctx wid era mkRwdAcct pwd txCtx sel = db & \DBLayer{..}
 
 -- | Construct an unsigned transaction from a given selection.
 constructTransaction
- :: forall ctx s k (n :: NetworkDiscriminant) ktype.
- ( HasTransactionLayer k ktype ctx
- , HasDBLayer IO s k ctx
- , HasNetworkLayer IO ctx
- , Typeable s
- , Typeable n
- , Typeable k
- )
- => ctx
+ :: forall (n :: NetworkDiscriminant) ktype
+ . TransactionLayer ShelleyKey ktype SealedTx
+ -> NetworkLayer IO Block
+ -> DBLayer IO (SeqState n ShelleyKey) ShelleyKey
  -> WalletId
  -> Cardano.AnyCardanoEra
  -> TransactionCtx
  -> PreSelection
  -> ExceptT ErrConstructTx IO SealedTx
-constructTransaction ctx wid era txCtx preSel = db & \DBLayer{..} -> do
- (_, xpub, _) <- withExceptT ErrConstructTxReadRewardAccount $
- shelleyOnlyReadRewardAccount @s @k @n db wid
- mapExceptT atomically $ do
- pp <- liftIO $ currentProtocolParameters nl
- withExceptT ErrConstructTxBody $ ExceptT $ pure $
- mkUnsignedTransaction tl era xpub pp txCtx (Left preSel)
- where
- db = ctx ^. dbLayer @IO @s @k
- tl = ctx ^. transactionLayer @k @ktype
- nl = ctx ^. networkLayer
+constructTransaction txLayer netLayer db wid era txCtx preSel = do
+ (_, xpub, _) <- readRewardAccount db wid
+ & withExceptT ErrConstructTxReadRewardAccount
+ pp <- liftIO $ currentProtocolParameters netLayer
+ mkUnsignedTransaction txLayer era xpub pp txCtx (Left preSel)
+ & withExceptT ErrConstructTxBody . except
 
 -- | Construct an unsigned transaction from a given selection
 -- for a shared wallet.