From: Fayeed Pawaskar <fayeed@live.com>
Date: Mon, 4 Sep 2023 08:41:30 +0000 (+0530)
Subject: Added value method to get the generic type from TypedArenaPtr
X-Git-Tag: remove~101^2~5
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=2c67106f26156891e647b932451d0fedbe13bb5e;p=scryer-prolog.git

Added value method to get the generic type from TypedArenaPtr
---

diff --git a/src/arena.rs b/src/arena.rs
index 9434b28d..8a12fdf3 100644
--- a/src/arena.rs
+++ b/src/arena.rs
@@ -187,6 +187,12 @@ impl ArenaHeader {
 #[derive(Debug)]
 pub struct TypedArenaPtr<T: ?Sized>(ptr::NonNull<T>);
 
+impl TypedArenaPtr<Integer> {
+    pub fn value(&self) -> Integer {
+        unsafe { self.0.as_ref().clone() }
+    }
+}
+
 impl<T: ?Sized + PartialOrd> PartialOrd for TypedArenaPtr<T> {
     fn partial_cmp(&self, other: &Self) -> Option<std::cmp::Ordering> {
         (**self).partial_cmp(&**other)