fix: datum_hash in TransactionOutput is an Option

Author: szg251

src/generators/correct/v1.rs

@@ -274,13 +274,13 @@ pub fn arb_transaction_input() -> impl Strategy<Value = TransactionInput> {
 
 /// Strategy to generate transaction output
 pub fn arb_transaction_output() -> impl Strategy<Value = TransactionOutput> {
-    (arb_address(), arb_value(), arb_datum_hash()).prop_map(|(address, value, datum_hash)| {
-        TransactionOutput {
+    (arb_address(), arb_value(), option::of(arb_datum_hash())).prop_map(
+        |(address, value, datum_hash)| TransactionOutput {
             address,
             value,
             datum_hash,
-        }
-    })
+        },
+    )
 }
 
 /// Strategy to generate a TxInInfo

src/v1/transaction.rs

@@ -89,7 +89,7 @@ impl IsPlutusData for TransactionHash {
 #[cfg_attr(feature = "lbf", derive(Json))]
 pub struct TransactionOutput {
     pub address: Address,
-    pub datum_hash: DatumHash,
+    pub datum_hash: Option<DatumHash>,
     pub value: Value,
 }
 
@@ -112,7 +112,7 @@ impl IsPlutusData for TransactionOutput {
                     verify_constr_fields(&fields, 3)?;
                     Ok(TransactionOutput {
                         address: Address::from_plutus_data(&fields[0])?,
-                        datum_hash: DatumHash::from_plutus_data(&fields[1])?,
+                        datum_hash: <Option<DatumHash>>::from_plutus_data(&fields[1])?,
                         value: Value::from_plutus_data(&fields[2])?,
                     })
                 }