add ProductValue::push

Author: Centril

crates/sats/src/product_value.rs

@@ -69,6 +69,14 @@ impl From<ColId> for InvalidFieldError {
 }
 
 impl ProductValue {
+    /// Pushes a single value to he product.
+    pub fn push(self, val: impl Into<AlgebraicValue>) -> Self {
+        let mut vals: Vec<_> = self.elements.into();
+        vals.reserve(1);
+        vals.push(val.into());
+        Self::from(vals)
+    }
+
     /// Borrow the value at field of `self` identified by `col_pos`.
     ///
     /// The `name` is non-functional and is only used for error-messages.