WIP

2023-09-12 07:34:42 -06:00
parent 3ba8857491
commit 5dad97779a
5 changed files with 15 additions and 0 deletions
@@ -17,6 +17,12 @@ pub trait Refineable: Clone {
    {
        Self::default().refined(refinement)
    }
+    fn from_cascade(cascade: &RefinementCascade<Self>) -> Self
+    where
+        Self: Default + Sized,
+    {
+        Self::default().refined(&cascade.merged())
+    }
 }

 pub struct RefinementCascade<S: Refineable>(Vec<Option<S::Refinement>>);