implement TryFrom for Value container

cucapra · Oct 21, 2024 · a6e3210 · a6e3210
1 parent d009c61
commit a6e3210
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/src/lib.rs b/src/lib.rs
@@ -14,5 +14,27 @@ pub enum Value {
     BitVec(BitVecValue),
 }
 
+impl TryFrom<Value> for ArrayValue {
+    type Error = ();
+
+    fn try_from(value: Value) -> Result<Self, Self::Error> {
+        match value {
+            Value::Array(v) => Ok(v),
+            Value::BitVec(_) => Err(()),
+        }
+    }
+}
+
+impl TryFrom<Value> for BitVecValue {
+    type Error = ();
+
+    fn try_from(value: Value) -> Result<Self, Self::Error> {
+        match value {
+            Value::BitVec(v) => Ok(v),
+            Value::Array(_) => Err(()),
+        }
+    }
+}
+
 pub use array::*;
 pub use bv::*;