From 932375fa49c35de8f79b74e95a8f178eb5af925d Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 13 Jul 2021 15:58:58 +0200
Subject: [PATCH] NestedValue::domain()

---
 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 b49a57c..3b75ae9 100644
--- a/implementations/rust/preserves/src/value/repr.rs
+++ b/implementations/rust/preserves/src/value/repr.rs
@@ -31,6 +31,10 @@ pub trait NestedValue<D: Embeddable>: Sized + Debug + Clone + Eq + Hash + Ord {
         Value::from(v).wrap()
     }
 
+    fn domain<E>(e: E) -> Self where D: From<E> {
+        Value::Embedded(e.into()).wrap()
+    }
+
     fn wrap(anns: Annotations<Self, D>, v: Value<Self, D>) -> Self;
 
     fn annotations(&self) -> &Annotations<Self, D>;