Remove ctx parameter from new TxBodyContent as it is not necessary

Expose sub types and setter functions of `TxBodyContent`

Author: Jimbo4350

cardano-api/src/Cardano/Api/Experimental/Tx.hs

@@ -124,6 +124,26 @@ module Cardano.Api.Experimental.Tx
   , convertTxBodyToUnsignedTx
   , hashTxBody
 
+    -- * TxBodyContent
+  , TxBodyContent (..)
+  , defaultTxBodyContent
+  , setTxCertificates
+  , setTxIns
+  , setTxOuts
+  , setTxMintValue
+  , setTxProposalProcedures
+  , setTxVotingProcedures
+  , setTxWithdrawals
+  , setTxFee
+
+    -- * TxBodyContent sub type
+  , TxCertificates (..)
+  , TxMintValue (..)
+  , TxOut (..)
+  , TxProposalProcedures (..)
+  , TxVotingProcedures (..)
+  , TxWithdrawals (..)
+
     -- * Witness
 
     -- ** Any witness (key, simple script, plutus script).
@@ -150,10 +170,7 @@ import Cardano.Api.Era.Internal.Core qualified as Api
 import Cardano.Api.Era.Internal.Eon.ShelleyBasedEra
 import Cardano.Api.Experimental.Era
 import Cardano.Api.Experimental.Tx.Internal.AnyWitness
-import Cardano.Api.Experimental.Tx.Internal.BodyContent.Old
-  ( extractAllIndexedPlutusScriptWitnesses
-  , makeUnsignedTx
-  )
+import Cardano.Api.Experimental.Tx.Internal.BodyContent.New
 import Cardano.Api.Experimental.Tx.Internal.TxScriptWitnessRequirements
 import Cardano.Api.Experimental.Tx.Internal.Type
 import Cardano.Api.HasTypeProxy (HasTypeProxy (..), Proxy, asType)

cardano-api/src/Cardano/Api/Experimental/Tx/Internal/BodyContent/New.hs

@@ -19,10 +19,21 @@ module Cardano.Api.Experimental.Tx.Internal.BodyContent.New
   , TxVotingProcedures (..)
   , TxWithdrawals (..)
   , TxBodyContent (..)
+  , defaultTxBodyContent
   , collectTxBodyScriptWitnessRequirements
-  , createUnsignedTx
+  , makeUnsignedTx
   , extractAllIndexedPlutusScriptWitnesses
   , txMintValueToValue
+
+    -- * Getters and Setters
+  , setTxCertificates
+  , setTxIns
+  , setTxFee
+  , setTxOuts
+  , setTxMintValue
+  , setTxProposalProcedures
+  , setTxVotingProcedures
+  , setTxWithdrawals
   )
 where
 
@@ -71,6 +82,7 @@ import Control.Monad
 import Data.Functor
 import Data.List qualified as List
 import Data.Map.Ordered.Strict (OMap)
+import Data.Map.Ordered.Strict qualified as OMap
 import Data.Map.Strict (Map)
 import Data.Map.Strict qualified as Map
 import Data.Maybe
@@ -82,13 +94,13 @@ import Data.Set qualified as Set
 import GHC.Exts (IsList (..))
 import Lens.Micro
 
-createUnsignedTx
+makeUnsignedTx
   :: forall era
    . Era era
-  -> TxBodyContent CtxTx (LedgerEra era)
+  -> TxBodyContent (LedgerEra era)
   -> Either String (UnsignedTx era)
-createUnsignedTx DijkstraEra _ = error "makeUnsignedTx: Dijkstra era not supported yet"
-createUnsignedTx era@ConwayEra bc = obtainCommonConstraints era $ do
+makeUnsignedTx DijkstraEra _ = error "makeUnsignedTx: Dijkstra era not supported yet"
+makeUnsignedTx era@ConwayEra bc = obtainCommonConstraints era $ do
   TxScriptWitnessRequirements languages scripts datums redeemers <-
     collectTxBodyScriptWitnessRequirements bc
 
@@ -158,7 +170,7 @@ convTxIns :: [(TxIn, AnyWitness era)] -> Set L.TxIn
 convTxIns inputs =
   Set.fromList [toShelleyTxIn txin | (txin, _) <- inputs]
 
-convCollateralTxIns :: TxBodyContent ctx era -> Set L.TxIn
+convCollateralTxIns :: TxBodyContent (LedgerEra era) -> Set L.TxIn
 convCollateralTxIns b =
   fromList (map toShelleyTxIn $ txInsCollateral b)
 
@@ -245,7 +257,7 @@ toAuxiliaryData txMData ss' =
 eraSpecificLedgerTxBody
   :: Era era
   -> L.TxBody (LedgerEra era)
-  -> TxBodyContent ctx (LedgerEra era)
+  -> TxBodyContent (LedgerEra era)
   -> L.TxBody (LedgerEra era)
 eraSpecificLedgerTxBody era ledgerbody bc =
   body era
@@ -307,24 +319,25 @@ newtype TxValidityLowerBound = TxValidityLowerBound L.SlotNo
 
 newtype TxExtraKeyWitnesses = TxExtraKeyWitnesses [Hash PaymentKey]
 
-newtype TxWithdrawals era = TxWithdrawals [(StakeAddress, L.Coin, AnyWitness era)]
+newtype TxWithdrawals era = TxWithdrawals {unTxWithdrawals :: [(StakeAddress, L.Coin, AnyWitness era)]}
+  deriving (Eq, Show)
 
 newtype TxCertificates era
   = TxCertificates
-      ( OMap
-          (Exp.Certificate era)
-          (Maybe (StakeCredential, AnyWitness era))
-      )
+  {unTxCertificates :: OMap (Exp.Certificate era) (Maybe (StakeCredential, AnyWitness era))}
+  deriving (Show, Eq)
 
 -- This is incorrect. Only scripts can witness minting!
 newtype TxMintValue era
   = TxMintValue
-      ( Map
-          PolicyId
-          ( PolicyAssets
-          , AnyWitness era
-          )
-      )
+  { unTxMintValue
+      :: Map
+           PolicyId
+           ( PolicyAssets
+           , AnyWitness era
+           )
+  }
+  deriving (Eq, Show)
 
 -- | Convert 'TxMintValue' to a more handy 'Value'.
 txMintValueToValue :: TxMintValue era -> Value
@@ -340,18 +353,20 @@ newtype TxProposalProcedures era
           (L.ProposalProcedure era)
           (Maybe (AnyWitness era))
       )
+  deriving (Show, Eq)
 
 data TxVotingProcedures era
   = TxVotingProcedures
       (L.VotingProcedures era)
       (Map L.Voter (AnyWitness era))
+  deriving (Eq, Show)
 
-data TxBodyContent ctx era
+data TxBodyContent era
   = TxBodyContent
   { txIns :: [(TxIn, AnyWitness era)]
   , txInsCollateral :: [TxIn]
   , txInsReference :: TxInsReference era
-  , txOuts :: [TxOut ctx era]
+  , txOuts :: [TxOut CtxTx era]
   , txCollateral :: Maybe (TxCollateral era)
   , txFee :: L.Coin
   , txValidityLowerBound :: Maybe L.SlotNo
@@ -372,10 +387,36 @@ data TxBodyContent ctx era
     -- -- ^ Treasury donation to perform
   }
 
+defaultTxBodyContent
+  :: TxBodyContent (LedgerEra era)
+defaultTxBodyContent =
+  TxBodyContent
+    { txIns = []
+    , txInsCollateral = []
+    , txInsReference = TxInsReference mempty Set.empty
+    , txOuts = []
+    , txCollateral = Nothing
+    , txFee = 0
+    , txValidityLowerBound = Nothing
+    , txValidityUpperBound = Nothing
+    , txMetadata = TxMetadata mempty
+    , txAuxScripts = []
+    , txExtraKeyWits = TxExtraKeyWitnesses []
+    , txProtocolParams = Nothing
+    , txWithdrawals = TxWithdrawals mempty
+    , txCertificates = TxCertificates OMap.empty
+    , txMintValue = TxMintValue mempty
+    , txScriptValidity = ScriptValid
+    , txProposalProcedures = Nothing
+    , txVotingProcedures = Nothing
+    , txCurrentTreasuryValue = Nothing
+    , txTreasuryDonation = Nothing
+    }
+
 extractAllIndexedPlutusScriptWitnesses
-  :: forall era ctx
+  :: forall era
    . Era era
-  -> TxBodyContent ctx (LedgerEra era)
+  -> TxBodyContent (LedgerEra era)
   -> Either
        CBOR.DecoderError
        [AnyIndexedPlutusScriptWitness (LedgerEra era)]
@@ -506,7 +547,7 @@ extractWitnessableProposals (Just txPropProcedures) =
 collectTxBodyScriptWitnessRequirements
   :: forall era
    . IsEra era
-  => TxBodyContent CtxTx (LedgerEra era)
+  => TxBodyContent (LedgerEra era)
   -> Either
        String
        (TxScriptWitnessRequirements (LedgerEra era))
@@ -591,3 +632,29 @@ getDatums txInsRef txOutsFromTx = do
     L.TxDats $
       fromList $
         refInDatums <> txOutsDats
+
+-- Getters and Setters
+
+setTxIns :: [(TxIn, AnyWitness era)] -> TxBodyContent era -> TxBodyContent era
+setTxIns v txBodyContent = txBodyContent{txIns = v}
+
+setTxFee :: L.Coin -> TxBodyContent era -> TxBodyContent era
+setTxFee v txBodyContent = txBodyContent{txFee = v}
+
+setTxOuts :: [TxOut CtxTx era] -> TxBodyContent era -> TxBodyContent era
+setTxOuts v txBodyContent = txBodyContent{txOuts = v}
+
+setTxMintValue :: TxMintValue era -> TxBodyContent era -> TxBodyContent era
+setTxMintValue v txBodyContent = txBodyContent{txMintValue = v}
+
+setTxCertificates :: TxCertificates era -> TxBodyContent era -> TxBodyContent era
+setTxCertificates v txBodyContent = txBodyContent{txCertificates = v}
+
+setTxWithdrawals :: TxWithdrawals era -> TxBodyContent era -> TxBodyContent era
+setTxWithdrawals v txBodyContent = txBodyContent{txWithdrawals = v}
+
+setTxVotingProcedures :: TxVotingProcedures era -> TxBodyContent era -> TxBodyContent era
+setTxVotingProcedures v txBodyContent = txBodyContent{txVotingProcedures = Just v}
+
+setTxProposalProcedures :: TxProposalProcedures era -> TxBodyContent era -> TxBodyContent era
+setTxProposalProcedures v txBodyContent = txBodyContent{txProposalProcedures = Just v}