From 6143ddc93dfbce9ba6b8a11d2427f479b58d89da Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 3 Jul 2021 08:59:03 +0200
Subject: [PATCH] NestedValue new() method for easy wrapping

---
 implementations/rust/preserves/src/value/repr.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/implementations/rust/preserves/src/value/repr.rs b/implementations/rust/preserves/src/value/repr.rs
index 0382ef0..ed293de 100644
--- a/implementations/rust/preserves/src/value/repr.rs
+++ b/implementations/rust/preserves/src/value/repr.rs
@@ -40,6 +40,10 @@ impl<D: Domain> Domain for Arc<D> {
 }
 
 pub trait NestedValue<D: Embeddable>: Sized + Debug + Clone + Eq + Hash + Ord {
+    fn new<V>(v: V) -> Self where Value<Self, D>: From<V> {
+        Value::from(v).wrap()
+    }
+
     fn wrap(anns: Annotations<Self, D>, v: Value<Self, D>) -> Self;
 
     fn annotations(&self) -> &Annotations<Self, D>;