NestedValue::domain()

2021-07-13 15:58:58 +02:00 · 2021-07-13 15:58:58 +02:00 · 932375fa49
parent 7e3bf2ade5
commit 932375fa49
1 changed files with 4 additions and 0 deletions
--- 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>;