Add Object::as_inner

hannobraun · Nov 25, 2022 · a605058 · a605058
1 parent ba6aab0
commit a605058
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/crates/fj-kernel/src/objects/object.rs b/crates/fj-kernel/src/objects/object.rs
@@ -1,3 +1,5 @@
+use std::any::Any;
+
 use crate::{
     insert::Insert,
     objects::{
@@ -23,6 +25,23 @@ macro_rules! object {
             )*
         }
 
+        impl<F: Form> Object<F> {
+            /// Convert the `Object` into the requested inner type
+            pub fn as_inner<T>(&self) -> Option<&F::Form<T>>
+                where
+                    Self: 'static,
+                    F::Form<T>: Any,
+            {
+                match self {
+                    $(
+                        Self::$ty(object) =>
+                            (object as &dyn Any).downcast_ref(),
+
+                    )*
+                }
+            }
+        }
+
         impl Object<WithHandle> {
             /// Insert the object into its respective store
             pub fn insert(