Add posibility to provide actual datums for hashes in reference inputs

Author: carbolymer

cardano-api/gen/Test/Gen/Cardano/Api/Typed.hs

@@ -144,7 +144,7 @@ where
 
 import           Cardano.Api hiding (txIns)
 import qualified Cardano.Api as Api
-import qualified Cardano.Api.Experimental as Exp 
+import qualified Cardano.Api.Experimental as Exp
 import           Cardano.Api.Byron (KeyWitness (ByronKeyWitness),
                    WitnessNetworkIdOrByronAddress (..))
 import qualified Cardano.Api.Byron as Byron
@@ -965,11 +965,17 @@ genTxInsCollateral =
           ]
     )
 
-genTxInsReference :: CardanoEra era -> Gen (TxInsReference era)
+genTxInsReference
+  :: Applicative (BuildTxWith build)
+  => CardanoEra era
+  -> Gen (TxInsReference build era)
 genTxInsReference =
   caseByronToAlonzoOrBabbageEraOnwards
     (const (pure TxInsReferenceNone))
-    (\w -> TxInsReference w <$> Gen.list (Range.linear 0 10) genTxIn)
+    (\w -> do
+      txIns <- Gen.list (Range.linear 0 10) genTxIn
+      pure $ TxInsReference w txIns mempty
+    )
 
 genTxReturnCollateral :: ShelleyBasedEra era -> Gen (TxReturnCollateral CtxTx era)
 genTxReturnCollateral era =
@@ -1022,7 +1028,7 @@ genWitnessesByron = Gen.list (Range.constant 1 10) genByronKeyWitness
 
 -- | This generator validates generated 'TxBodyContent' and backtracks when the generated body
 -- fails the validation. That also means that it is quite slow.
-genValidTxBody :: Typeable era 
+genValidTxBody :: Typeable era
                => ShelleyBasedEra era
                -> Gen (TxBody era, TxBodyContent BuildTx era) -- ^ validated 'TxBody' and 'TxBodyContent'
 genValidTxBody sbe =
@@ -1036,7 +1042,7 @@ genValidTxBody sbe =
 -- | Partial! This function will throw an error when the generated transaction is invalid.
 genTxBody :: (HasCallStack, Typeable era) => ShelleyBasedEra era -> Gen (TxBody era)
 genTxBody era = do
-  res <- Api.createTransactionBody era <$> genTxBodyContent era
+  res <- Api.createTransactionBody era mempty <$> genTxBodyContent era
   case res of
     Left err -> error (docToString (prettyError err))
     Right txBody -> pure txBody
@@ -1135,7 +1141,7 @@ genShelleyBootstrapWitness sbe =
     <*> (fst <$> genValidTxBody sbe)
     <*> genSigningKey AsByronKey
 
- 
+
 genShelleyKeyWitness
   :: ()
   => Typeable era
@@ -1385,39 +1391,39 @@ genTreasuryDonation :: ConwayEraOnwards era -> Gen L.Coin
 genTreasuryDonation _era = Q.arbitrary
 
 genWitnessable :: L.AlonzoEraScript era => Gen (Exp.Witnessable Exp.TxInItem era)
-genWitnessable = Exp.WitTxIn <$> genTxIn  
+genWitnessable = Exp.WitTxIn <$> genTxIn
 
 genMintWitnessable :: L.AlonzoEraScript era => Gen (Exp.Witnessable Exp.MintItem era)
-genMintWitnessable = Exp.WitMint <$> genPolicyId <*> genPolicyAssets 
+genMintWitnessable = Exp.WitMint <$> genPolicyId <*> genPolicyAssets
 
-genIndexedPlutusScriptWitness 
-  :: L.AlonzoEraScript (ShelleyLedgerEra era) 
+genIndexedPlutusScriptWitness
+  :: L.AlonzoEraScript (ShelleyLedgerEra era)
   => Gen (Exp.IndexedPlutusScriptWitness Exp.TxInItem L.PlutusV3 Exp.SpendingScript (ShelleyLedgerEra era))
 genIndexedPlutusScriptWitness =  do
     index <- Gen.word32 $ Range.linear 1 10
     witnessable <- genWitnessable
-    Exp.IndexedPlutusScriptWitness 
+    Exp.IndexedPlutusScriptWitness
        <$> genWitnessable
        <*> genPlutusPurpose index witnessable
-       <*> genPlutusScriptWitness 
+       <*> genPlutusScriptWitness
 
-genPlutusPurpose 
-  :: Word32 
-  -> Exp.Witnessable thing (ShelleyLedgerEra era) 
+genPlutusPurpose
+  :: Word32
+  -> Exp.Witnessable thing (ShelleyLedgerEra era)
   -> Gen (L.PlutusPurpose L.AsIx (ShelleyLedgerEra era))
 genPlutusPurpose index wit = return $ Exp.toPlutusScriptPurpose index wit
 
 genPlutusScriptWitness :: Gen (Exp.PlutusScriptWitness L.PlutusV3 purpose era)
-genPlutusScriptWitness = do 
+genPlutusScriptWitness = do
   let l = Exp.toPlutusSLanguage PlutusScriptV3
-  Exp.PlutusScriptWitness l . Exp.PReferenceScript 
+  Exp.PlutusScriptWitness l . Exp.PReferenceScript
     <$> genTxIn
     <*> genPlutusScriptDatum
     <*> genHashableScriptData
-    <*> genExecutionUnits 
+    <*> genExecutionUnits
 
 genPlutusScriptDatum :: Gen (Exp.PlutusScriptDatum lang purpose)
-genPlutusScriptDatum = return Exp.NoScriptDatum 
+genPlutusScriptDatum = return Exp.NoScriptDatum
 
 -- | This generator does not generate a valid witness - just a random one.
 genScriptWitnessForStake :: ShelleyBasedEra era -> Gen (Api.ScriptWitness WitCtxStake era)

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

@@ -134,6 +134,7 @@ import Cardano.Api.Internal.ReexposeLedger (StrictMaybe (..), maybeToStrictMaybe
 import Cardano.Api.Internal.ReexposeLedger qualified as L
 import Cardano.Api.Internal.Tx.Body
 import Cardano.Api.Internal.Tx.Sign
+import Cardano.Api.Internal.Tx.UTxO (UTxO)
 
 import Cardano.Crypto.Hash qualified as Hash
 import Cardano.Ledger.Alonzo.TxBody qualified as L
@@ -162,14 +163,16 @@ newtype UnsignedTxError
 
 makeUnsignedTx
   :: Era era
+  -> UTxO era
+  -- ^ UTXO for reference inputs
   -> TxBodyContent BuildTx era
   -> Either TxBodyError (UnsignedTx era)
-makeUnsignedTx era bc = obtainCommonConstraints era $ do
+makeUnsignedTx era utxo bc = obtainCommonConstraints era $ do
   let sbe = convert era
       aeon = convert era
   TxScriptWitnessRequirements languages scripts datums redeemers <-
     shelleyBasedEraConstraints sbe $
-      collectTxBodyScriptWitnessRequirements (convert era) bc
+      collectTxBodyScriptWitnessRequirements (convert era) utxo bc
 
   -- cardano-api types
   let apiTxOuts = txOuts bc

cardano-api/src/Cardano/Api/Internal/Fees.hs

@@ -596,6 +596,7 @@ estimateBalancedTxBody
       first TxFeeEstimationxBodyError $ -- TODO: impossible to fail now
         createTransactionBody
           sbe
+          mempty
           txbodycontent1
             { txFee = TxFeeExplicit sbe maxLovelaceFee
             , txOuts =
@@ -638,6 +639,7 @@ estimateBalancedTxBody
       first TxFeeEstimationxBodyError $ -- TODO: impossible to fail now
         createTransactionBody
           sbe
+          mempty
           txbodycontent1
             { txFee = TxFeeExplicit sbe fee
             , txReturnCollateral = retColl
@@ -678,7 +680,7 @@ estimateBalancedTxBody
       first TxFeeEstimationFinalConstructionError $ -- TODO: impossible to fail now. We need to implement a function
       -- that simply creates a transaction body because we have already
       -- validated the transaction body earlier within makeTransactionBodyAutoBalance
-        createTransactionBody sbe finalTxBodyContent
+        createTransactionBody sbe mempty finalTxBodyContent
     return
       ( BalancedTxBody
           finalTxBodyContent
@@ -1365,7 +1367,7 @@ makeTransactionBodyAutoBalance
       -- 3. update tx with fees
       -- 4. balance the transaction and update tx change output
 
-      txbodyForChange <- first TxBodyError $ createTransactionBody sbe txbodycontent
+      txbodyForChange <- first TxBodyError $ createTransactionBody sbe utxo txbodycontent
       let initialChangeTxOutValue =
             evaluateTransactionBalance sbe pp poolids stakeDelegDeposits drepDelegDeposits utxo txbodyForChange
           initialChangeTxOut =
@@ -1387,6 +1389,7 @@ makeTransactionBodyAutoBalance
         first TxBodyError
           $ createTransactionBody
             sbe
+            utxo
           $ txbodycontent
             & modTxOuts
               (<> [initialChangeTxOut])
@@ -1425,6 +1428,7 @@ makeTransactionBodyAutoBalance
         first TxBodyError $ -- TODO: impossible to fail now
           createTransactionBody
             sbe
+            utxo
             txbodycontent1
               { txFee = TxFeeExplicit sbe maxLovelaceFee
               , txOuts =
@@ -1472,6 +1476,7 @@ makeTransactionBodyAutoBalance
         first TxBodyError $ -- TODO: impossible to fail now
           createTransactionBody
             sbe
+            utxo
             txbodycontent1
               { txFee = TxFeeExplicit sbe fee
               , txReturnCollateral = retColl
@@ -1504,7 +1509,7 @@ makeTransactionBodyAutoBalance
         first TxBodyError $ -- TODO: impossible to fail now. We need to implement a function
         -- that simply creates a transaction body because we have already
         -- validated the transaction body earlier within makeTransactionBodyAutoBalance
-          createTransactionBody sbe finalTxBodyContent
+          createTransactionBody sbe utxo finalTxBodyContent
       return
         ( BalancedTxBody
             finalTxBodyContent