add iter to mapping trait

4 files changed, 30 insertions, 0 deletions

diff --git a/src/crates/library/src/btreemap.rs b/src/crates/library/src/btreemap.rs
index 4cd490e..3943eee 100644
--- a/src/crates/library/src/btreemap.rs
+++ b/src/crates/library/src/btreemap.rs
@@ -84,6 +84,14 @@ impl<K: Ord + Hash, V> Mapping<K, V> for BTreeMap<K, V> {
     fn clear(&mut self) {
         BTreeMap::clear(self)
     }
+
+    fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a K, &'a V)> + 'a
+    where
+        K: 'a,
+        V: 'a,
+    {
+        BTreeMap::iter(self)
+    }
 }
 
 #[cfg(test)]
diff --git a/src/crates/library/src/hashmap.rs b/src/crates/library/src/hashmap.rs
index e14074c..b26c5b0 100644
--- a/src/crates/library/src/hashmap.rs
+++ b/src/crates/library/src/hashmap.rs
@@ -84,6 +84,14 @@ impl<K: Ord + Hash, V> Mapping<K, V> for HashMap<K, V> {
     fn clear(&mut self) {
         HashMap::clear(self)
     }
+
+    fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a K, &'a V)> + 'a
+    where
+        K: 'a,
+        V: 'a,
+    {
+        HashMap::iter(self)
+    }
 }
 
 #[cfg(test)]
diff --git a/src/crates/library/src/profiler.rs b/src/crates/library/src/profiler.rs
index 5391cb7..1b58a21 100644
--- a/src/crates/library/src/profiler.rs
+++ b/src/crates/library/src/profiler.rs
@@ -261,6 +261,14 @@ impl<const ID: usize, T: Mapping<K, V>, K, V> Mapping<K, V>
         self.n_clear += 1;
         self.inner.as_mut().unwrap().clear()
     }
+
+    fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a K, &'a V)> + 'a
+    where
+        K: 'a,
+        V: 'a,
+    {
+        self.inner.as_ref().unwrap().iter()
+    }
 }
 
 impl<const ID: usize, T, E> Drop for MappingProfilerWrapper<ID, T, E> {
diff --git a/src/crates/library/src/traits.rs b/src/crates/library/src/traits.rs
index 39a1874..8af7df6 100644
--- a/src/crates/library/src/traits.rs
+++ b/src/crates/library/src/traits.rs
@@ -54,4 +54,10 @@ pub trait Mapping<K, V>: Default + IntoIterator<Item = (K, V)> + FromIterator<(K
 
     /// Remove all elements from the container
     fn clear(&mut self);
+
+    /// Iterate over the elements in this container
+    fn iter<'a>(&'a self) -> impl Iterator<Item = (&'a K, &'a V)> + 'a
+    where
+        K: 'a,
+        V: 'a;
 }