remove clone requirement on fold (#326)

egraphs-good · Dec 30, 2024 · 319b9c4 · 319b9c4
1 parent 9f06254
commit 319b9c4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/language.rs b/src/language.rs
@@ -64,7 +64,6 @@ pub trait Language: Debug + Clone + Eq + Ord + Hash {
     fn try_for_each<E, F>(&self, mut f: F) -> Result<(), E>
     where
         F: FnMut(Id) -> Result<(), E>,
-        E: Clone,
     {
         self.fold(Ok(()), |res, id| res.and_then(|_| f(id)))
     }
@@ -97,10 +96,11 @@ pub trait Language: Debug + Clone + Eq + Ord + Hash {
     fn fold<F, T>(&self, init: T, mut f: F) -> T
     where
         F: FnMut(T, Id) -> T,
-        T: Clone,
     {
         let mut acc = init;
-        self.for_each(|id| acc = f(acc.clone(), id));
+        for id in self.children().iter().copied() {
+            acc = f(acc, id)
+        }
         acc
     }