src/mapping.rs

branch
dev
changeset 39
dd144a972722
parent 36
6a4b44b2cdf2
child 42
b4d369698556
--- a/src/mapping.rs	Tue Feb 20 12:34:17 2024 -0500
+++ b/src/mapping.rs	Sat Oct 19 10:39:54 2024 -0500
@@ -110,6 +110,11 @@
     pub fn new<I : Iterator<Item = M>>(iter : I) -> Self {
         Sum { components : iter.collect(), _domain : PhantomData }
     }
+
+    /// Iterate over the component functions of the sum
+    pub fn iter(&self) -> std::slice::Iter<'_, M> {
+        self.components.iter()
+    }
 }
 
 

mercurial