Add V3.TransactionHash

Author: szg251

plutus-ledger-api/Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "plutus-ledger-api"
-version = "3.0.1-beta"
+version = "3.0.1-beta.2"
 edition = "2021"
 license = "Apache-2.0"
 description = "Plutus Ledger types and utilities implemented in Rust"

plutus-ledger-api/Cargo.toml

@@ -14,7 +14,7 @@ use crate::{
         primitive::arb_integer,
         v1::{
             arb_currency_symbol, arb_datum, arb_ed25519_pub_key_hash, arb_lovelace,
-            arb_payment_pub_key_hash, arb_stake_pub_key_hash, arb_transaction_input,
+            arb_payment_pub_key_hash, arb_stake_pub_key_hash,
         },
     },
     v3::{
@@ -23,21 +23,34 @@ use crate::{
             ChangedParameters, ColdCommitteeCredential, Committee, Constitution, DRep,
             DRepCredential, Delegatee, GovernanceAction, GovernanceActionId,
             HotCommitteeCredential, ProposalProcedure, ProtocolVersion, ScriptContext, ScriptInfo,
-            ScriptPurpose, TransactionInfo, TxCert, Vote, Voter,
+            ScriptPurpose, TransactionHash, TransactionInfo, TransactionInput, TxCert, TxInInfo,
+            Vote, Voter,
         },
     },
 };
 
 use super::{
     primitive::arb_natural,
     v1::{
-        arb_assoc_map, arb_credential, arb_datum_hash, arb_plutus_data,
-        arb_plutus_interval_posix_time, arb_redeemer, arb_script_hash, arb_transaction_hash,
-        arb_value,
+        arb_assoc_map, arb_credential, arb_datum_hash, arb_ledger_bytes, arb_plutus_data,
+        arb_plutus_interval_posix_time, arb_redeemer, arb_script_hash, arb_value,
     },
-    v2::{arb_transaction_output, arb_tx_in_info},
+    v2::arb_transaction_output,
 };
 
+/// Strategy to generate a transaction hash
+pub fn arb_transaction_hash() -> impl Strategy<Value = TransactionHash> {
+    arb_ledger_bytes(32).prop_map(TransactionHash)
+}
+
+/// Strategy to generate a transaction input
+pub fn arb_transaction_input() -> impl Strategy<Value = TransactionInput> {
+    (arb_transaction_hash(), arb_natural(1)).prop_map(|(transaction_id, index)| TransactionInput {
+        transaction_id,
+        index,
+    })
+}
+
 /// Strategy to generate cold committee credentials
 pub fn arb_cold_committee_credential() -> impl Strategy<Value = ColdCommitteeCredential> {
     arb_credential().prop_map(ColdCommitteeCredential)
@@ -280,6 +293,12 @@ pub fn arb_transaction_info() -> impl Strategy<Value = TransactionInfo> {
         )
 }
 
+/// Strategy to generate a TxInInfo
+pub fn arb_tx_in_info() -> impl Strategy<Value = TxInInfo> {
+    (arb_transaction_input(), arb_transaction_output())
+        .prop_map(|(reference, output)| TxInInfo { reference, output })
+}
+
 /// Strategy to generate script contexts
 pub fn arb_script_context() -> impl Strategy<Value = ScriptContext> {
     (arb_transaction_info(), arb_redeemer(), arb_script_info()).prop_map(