refactor: forall

src/rule/for_all.rs

@@ -16,22 +16,6 @@ pub trait Iterable<'a> {
     fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a>;
 }
 
-impl<'a, T: 'a> Iterable<'a> for Vec<T> {
-    type Item = T;
-
-    fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a> {
-        Box::new(self.into_iter())
-    }
-}
-
-impl<'a> Iterable<'a> for String {
-    type Item = char;
-
-    fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a> {
-        Box::new(self.chars().collect::<Vec<_>>().into_iter())
-    }
-}
-
 /// Rule where all the data in the collection satisfies the condition
 pub struct ForAllRule<RULE, ITERABLE>
 where

src/rule/for_all/collection.rs

@@ -1 +1,18 @@
+use crate::rule::Iterable;
+use std::collections::{HashSet, VecDeque};
 
+macro_rules! declare_iterable_for_collection {
+    ($($t:ty),*) => {
+        $(
+            impl<'a, T: 'a> Iterable<'a> for $t {
+                type Item = T;
+
+                fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a> {
+                    Box::new(self.into_iter())
+                }
+            }
+        )*
+    };
+}
+
+declare_iterable_for_collection![Vec<T>, VecDeque<T>, HashSet<T>];

src/rule/for_all/string.rs

@@ -1 +1,17 @@
+use crate::rule::Iterable;
 
+impl<'a> Iterable<'a> for String {
+    type Item = char;
+
+    fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a> {
+        Box::new(self.chars().collect::<Vec<_>>().into_iter())
+    }
+}
+
+impl<'a> Iterable<'a> for &'a str {
+    type Item = char;
+
+    fn into_iterator(self) -> Box<dyn Iterator<Item = Self::Item> + 'a> {
+        Box::new(self.chars())
+    }
+}