summaryrefslogtreecommitdiff
path: root/src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala')
-rwxr-xr-xsrc/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala b/src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala
index c6be1a5acd..5256a4e40d 100755
--- a/src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala
+++ b/src/library/scalax/collection/generic/covartest/OrderedIterableTemplate.scala
@@ -13,5 +13,11 @@ package scalax.collection.generic.covartest
import OrderedIterable._
+/** Ordered iterables are iterables where the `elements` method always returns elements in the same
+ * order (namely the order in which elements were appended to the iterable). In particular, one has
+ * for every two ordered iterables `xs` and `ys`:
+ *
+ * `(xs ++ ys).elements = xs.elements ++ ys.elements
+ */
trait OrderedIterableTemplate[+CC[+B] <: OrderedIterableTemplate[CC, B] with OrderedIterable[B], +A]
extends IterableTemplate[CC, A]