std: Add FromIterator trait

dinfuehr · Feb 9, 2025 · 9f20167 · 9f20167
1 parent 8586ab3
commit 9f20167
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/pkgs/std/traits.dora b/pkgs/std/traits.dora
@@ -164,6 +164,11 @@ pub trait Iterator {
     fn map[R](f: (Self::Item): R): Map[Self, R] {
         Map[Self, R](it = self, fct = f)
     }
+
+    // @TraitObjectIgnore
+    // fn collect[X: FromIterator[Self::Item]](): X {
+    //     X::fromIter(self)
+    // }
 }
 
 pub trait IntoIterator {
@@ -207,6 +212,10 @@ impl[I: Iterator, R] Iterator for Map[I, R] {
     }
 }
 
+pub trait FromIterator[A] {
+    fn fromIter[T](iter: T): Self where T: Iterator[Item=A];
+}
+
 pub trait IndexGet {
     type Index;
     type Item;