add easier way to access try_into for u64

cucapra · Jan 16, 2025 · 0f844e1 · 0f844e1
1 parent d907456
commit 0f844e1
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.16.1"
+version = "0.16.2"
 edition = "2021"
 authors = ["Kevin Laeufer <[email protected]>"]
 description = "BitVector and Array Arithmetic"

diff --git a/src/lib.rs b/src/lib.rs
@@ -49,5 +49,11 @@ impl TryFrom<Value> for u64 {
     }
 }
 
+impl Value {
+    pub fn try_into_u64(self) -> Result<u64, ()> {
+        <Self as TryInto<u64>>::try_into(self)
+    }
+}
+
 pub use array::*;
 pub use bv::*;