1 files changed, 213 insertions, 0 deletions
diff --git a/src/library/scala/collection/Traversible.scala b/src/library/scala/collection/Traversible.scala
new file mode 100755
index 0000000000..886fd1c767
--- /dev/null
+++ b/src/library/scala/collection/Traversible.scala
@@ -0,0 +1,213 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2003-2009, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+// $Id: Traversible.scala 15188 2008-05-24 15:01:02Z stepancheg $
+package scala.collection
+
+// import immutable.{List, Stream, Nil}
+import mutable.{Buffer, ArrayBuffer, ListBuffer}
+import util.control.Breaks._
+import generic._
+
+/** A template trait for traversible collections.
+ *
+ *  Collection classes mixing in this trait provide a method
+ *  <code>foreach</code> which traverses all the
+ *  elements contained in the collection, applying a given procedure to each.
+ *  They also provide a method `newBuilder`
+ *  which creates a builder for collections of the same kind.
+ *
+ *  @author Martin Odersky
+ *  @version 2.8
+ */
+trait Traversible[+A] extends TraversibleTemplate[A, Traversible[A]] {
+  protected[this] def newBuilder = Traversible.newBuilder
+  def traversibleBuilder[B]: Builder[B, Traversible[B], Any] = Traversible.newBuilder[B]
+
+  /* The following methods are inherited from TraversibleTemplate
+   *
+  override def isEmpty: Boolean
+  override def size: Int
+  override def hasDefiniteSize
+  override def ++[B >: A, That](that: Traversible[B])(implicit bf: BuilderFactory[B, That, Traversible[A]]): That
+  override def ++[B >: A, That](that: Iterator[B])(implicit bf: BuilderFactory[B, That, Traversible[A]]): That
+  override def map[B, That](f: A => B)(implicit bf: BuilderFactory[B, That, Traversible[A]]): That
+  override def flatMap[B, That](f: A => Traversible[B])(implicit bf: BuilderFactory[B, That, Traversible[A]]): That
+  override def filter(p: A => Boolean): Traversible[A]
+  override def remove(p: A => Boolean): Traversible[A]
+  override def partition(p: A => Boolean): (Traversible[A], Traversible[A])
+  override def groupBy[K](f: A => K): Map[K, Traversible[A]]
+  override def foreach(f: A => Unit): Unit
+  override def forall(p: A => Boolean): Boolean
+  override def exists(p: A => Boolean): Boolean
+  override def count(p: A => Boolean): Int
+  override def find(p: A => Boolean): Option[A]
+  override def foldLeft[B](z: B)(op: (B, A) => B): B
+  override def /: [B](z: B)(op: (B, A) => B): B
+  override def foldRight[B](z: B)(op: (A, B) => B): B
+  override def :\ [B](z: B)(op: (A, B) => B): B
+  override def reduceLeft[B >: A](op: (B, A) => B): B
+  override def reduceLeftOpt[B >: A](op: (B, A) => B): Option[B]
+  override def reduceRight[B >: A](op: (A, B) => B): B
+  override def reduceRightOpt[B >: A](op: (A, B) => B): Option[B]
+  override def head: A
+  override def headOption: Option[A]
+  override def tail: Traversible[A]
+  override def last: A
+  override def lastOption: Option[A]
+  override def init: Traversible[A]
+  override def take(n: Int): Traversible[A]
+  override def drop(n: Int): Traversible[A]
+  override def slice(from: Int, until: Int): Traversible[A]
+  override def takeWhile(p: A => Boolean): Traversible[A]
+  override def dropWhile(p: A => Boolean): Traversible[A]
+  override def span(p: A => Boolean): (Traversible[A], Traversible[A])
+  override def splitAt(n: Int): (Traversible[A], Traversible[A])
+  override def copyToBuffer[B >: A](dest: Buffer[B])
+  override def copyToArray[B >: A](xs: Array[B], start: Int, len: Int)
+  override def copyToArray[B >: A](xs: Array[B], start: Int)
+  override def toArray[B >: A]: Array[B]
+  override def toList: List[A]
+  override def toIterable: Iterable[A]
+  override def toSequence: Sequence[A]
+  override def toStream: Stream[A]
+//  override def sortWith(lt : (A,A) => Boolean): Traversible[A]
+  override def mkString(start: String, sep: String, end: String): String
+  override def mkString(sep: String): String
+  override def mkString: String
+  override def addString(b: StringBuilder, start: String, sep: String, end: String): StringBuilder
+  override def addString(b: StringBuilder, sep: String): StringBuilder
+  override def addString(b: StringBuilder): StringBuilder
+  override def toString
+  override def stringPrefix : String
+  override def view
+  override def view(from: Int, until: Int): TraversibleView[A, Traversible[A]]
+  */
+}
+
+/** Factory methods and utilities for instances of type Traversible */
+object Traversible extends TraversibleFactory[Traversible] { self =>
+
+  type Coll = Traversible[_]
+  implicit def builderFactory[A]: BuilderFactory[A, Traversible[A], Coll] = new BuilderFactory[A, Traversible[A], Coll] { def apply(from: Coll) = from.traversibleBuilder[A] }
+  def newBuilder[A]: Builder[A, Traversible[A], Any] = immutable.Traversible.newBuilder[A]
+
+  /** A wrapper class which adds `min` and `max` methods to iterables of an element type that has an Ordering.
+   */
+  class ComparableTraversibleOps[A](self: Traversible[A], cmp: Ordering[A]) {
+
+    /** Returns the minimal element of the wrapped iterable `self` with respect to the given ordering `cmp` */
+    def min: A = {
+      require(!self.isEmpty, "min(<empty>)")
+      var acc = self.head
+      for (x <- self)
+        if (cmp.lt(x, acc)) acc = x
+      acc
+    }
+
+    /** Returns the maximal element of the wrapped iterable `self` with respect to the given ordering `cmp` */
+    def max: A = {
+      require(!self.isEmpty, "max(<empty>)")
+      var acc = self.head
+      for (x <- self)
+        if (cmp.gt(x, acc)) acc = x
+      acc
+    }
+  }
+
+  /** A wrapper class which adds `sum` and `product` methods to iterables of an element type that is `Numeric`.
+   */
+  class NumericTraversibleOps[A](self: Traversible[A], num: Numeric[A]) {
+
+    /** Returns the sum of all elements of the wrapped iterable `self` with respect to the numeric operations in `num` */
+    def sum: A = {
+      var acc = num.zero
+      for (x <- self) acc = num.plus(acc, x)
+      acc
+    }
+
+    /** Returns the product of all elements of the wrapped iterable `self` with respect to the numeric operations in `num` */
+    def product: A = {
+      var acc = num.one
+      for (x <- self) acc = num.times(acc, x)
+      acc
+    }
+  }
+
+  /** A wrapper class which adds `flatten` and `transpose` methods to iterables or iterable element type`.
+   */
+  class TraversibleTraversibleOps[This <: Traversible[Traversible[A]], A](self: This) {
+
+    /** Returns the concatenation of all elements of the wrapped iterable `self` */
+    def flatten[That](implicit bf: BuilderFactory[A, That, This]): That = {
+      val b = bf(self)
+      for (xs <- self)
+        b ++= xs
+      b.result
+    }
+
+    /** Returns the transposition of the wrapped iterable `self`: rows become columns and columns become rows.
+     */
+    def transpose[Row, That](implicit bf: BuilderFactory[A, Row, This], bbf: BuilderFactory[Row, That, This]): That = {
+      val bs: Array[Builder[A, Row, This]] = self.head.map(_ => bf(self))(Traversible.builderFactory[Builder[A, Row, This]]).toArray
+      for (xs <- self) {
+        var i = 0
+        for (x <- xs) {
+          bs(i) += x
+          i += 1
+        }
+      }
+      val bb = bbf(self)
+      for (b <- bs) bb += b.result
+      bb.result
+    }
+  }
+
+  /** A wrapper class which adds an `unzip` method to iterable whose elements are pairs.
+  	*/
+  class PairTraversibleOps[This <: Traversible[(A1, A2)], A1, A2](self: This) {
+
+    /** Returns a pair of iterables consisting of the first, respectively second, component of all
+     *  elements in the wrapped iterable `self`.
+     */
+    def unzip[That1, That2](implicit bf1: BuilderFactory[A1, That1, This], bf2: BuilderFactory[A2, That2, This]): (That1, That2) = {
+      val b1 = bf1(self)
+      val b2 = bf2(self)
+      for ((x1, x2) <- self) {
+        b1 += x1
+        b2 += x2
+      }
+      (b1.result, b2.result)
+    }
+  }
+
+  /** Implicit wrapper conversion of iterables with elements admitting comparison.
+   *  @see ComparableTraversibleOps
+   */
+  implicit def comparableTraversibleWrapper[A](self: Traversible[A])(implicit cmp: Ordering[A]) =
+    new ComparableTraversibleOps(self, cmp)
+
+  /** Implicit wrapper conversion of iterables with numeric elements.
+   *  @see NumericTraversibleOps
+   */
+  implicit def numericTraversibleWrapper[A](self: Traversible[A])(implicit num: Numeric[A]) =
+    new NumericTraversibleOps(self, num)
+
+  /** Implicit wrapper conversion of iterables with iterable elements.
+   *  @see TraversibleTraversibleOps
+   */
+  implicit def traversibleTraversibleWrapper[This <: Traversible[Traversible[A]], A](self: This) =
+    new TraversibleTraversibleOps[This, A](self) // !!! error if type parameters are omitted
+
+  /** Implicit wrapper conversion of iterables with pairs as elements.
+   *  @see PairTraversibleOps
+   */
+  implicit def pairTraversibleWrapper[This <: Traversible[(A1, A2)], A1, A2](self: This) =
+    new PairTraversibleOps[This, A1, A2](self)
+}
+