Implement and expose mkTxCertificates

Author: Jimbo4350

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

@@ -100,6 +100,5 @@ import Cardano.Api.Experimental.Plutus.Internal.ScriptWitness
 import Cardano.Api.Experimental.Plutus.Internal.Shim.LegacyScripts
 import Cardano.Api.Experimental.Simple.Script
 import Cardano.Api.Experimental.Tx
-import Cardano.Api.Experimental.Tx.Internal.Compatible
 import Cardano.Api.Experimental.Tx.Internal.Fee
 import Cardano.Api.Tx.Internal.Fee (evaluateTransactionExecutionUnitsShelley)

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

@@ -127,6 +127,7 @@ module Cardano.Api.Experimental.Tx
     -- * TxBodyContent
   , TxBodyContent (..)
   , defaultTxBodyContent
+  , mkTxCertificates
   , setTxAuxScripts
   , setTxCertificates
   , setTxCollateral

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

@@ -5,6 +5,7 @@
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE TupleSections #-}
 {-# LANGUAGE TypeApplications #-}
 
 module Cardano.Api.Experimental.Tx.Internal.BodyContent.New
@@ -24,6 +25,7 @@ module Cardano.Api.Experimental.Tx.Internal.BodyContent.New
   , makeUnsignedTx
   , extractAllIndexedPlutusScriptWitnesses
   , txMintValueToValue
+  , mkTxCertificates
 
     -- * Getters and Setters
   , setTxAuxScripts
@@ -66,6 +68,7 @@ import Cardano.Api.Experimental.Simple.Script
 import Cardano.Api.Experimental.Tx.Internal.AnyWitness
   ( AnyWitness (..)
   )
+import Cardano.Api.Experimental.Tx.Internal.Certificate.Compatible (getTxCertWitness)
 import Cardano.Api.Experimental.Tx.Internal.TxScriptWitnessRequirements
   ( TxScriptWitnessRequirements (..)
   , getTxScriptWitnessesRequirements
@@ -365,6 +368,28 @@ newtype TxCertificates era
   {unTxCertificates :: OMap (Exp.Certificate era) (Maybe (StakeCredential, AnyWitness era))}
   deriving (Show, Eq)
 
+-- | Create 'TxCertificates'. Note that 'Certificate era' will be deduplicated. Only Certificates with a
+-- stake credential will be in the result.
+--
+-- Note that, when building a transaction in Conway era, a witness is not required for staking credential
+-- registration, but this is only the case during the transitional period of Conway era and only for staking
+-- credential registration certificates without a deposit. Future eras will require a witness for
+-- registration certificates, because the one without a deposit will be removed.
+mkTxCertificates
+  :: forall era
+   . Era era
+  -> [(Exp.Certificate (LedgerEra era), AnyWitness (LedgerEra era))]
+  -> TxCertificates (LedgerEra era)
+mkTxCertificates era certs = TxCertificates . OMap.fromList $ map getStakeCred certs
+ where
+  getStakeCred
+    :: (Exp.Certificate (LedgerEra era), AnyWitness (LedgerEra era))
+    -> ( Exp.Certificate (LedgerEra era)
+       , Maybe (StakeCredential, AnyWitness (LedgerEra era))
+       )
+  getStakeCred (c@(Exp.Certificate cert), wit) =
+    (c, (,wit) <$> getTxCertWitness (convert era) (obtainCommonConstraints era cert))
+
 -- This is incorrect. Only scripts can witness minting!
 newtype TxMintValue era
   = TxMintValue