diff options
-rw-r--r-- | src/library/scala/Equiv.scala | 25 | ||||
-rw-r--r-- | src/library/scala/Ordered.scala | 6 |
2 files changed, 28 insertions, 3 deletions
diff --git a/src/library/scala/Equiv.scala b/src/library/scala/Equiv.scala new file mode 100644 index 0000000000..32154900e4 --- /dev/null +++ b/src/library/scala/Equiv.scala @@ -0,0 +1,25 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-2008, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ + +// $Id$ + +package scala + +/** A trait for representing equivalence relations. + * @author Geoffrey Washburn + * @version 0.9, 2008-03-19 + */ + +trait Equiv[T] { + /** Returns <code>true</code> iff <code>x</code> is equivalent to + /** <code>y</code>. The implementation + /* should be equivalence relation: reflexive, transitive, + /* symmetric. + */ + def equiv(x: T, y: T): Boolean +} diff --git a/src/library/scala/Ordered.scala b/src/library/scala/Ordered.scala index 1e3911918f..7f172567a3 100644 --- a/src/library/scala/Ordered.scala +++ b/src/library/scala/Ordered.scala @@ -1,6 +1,6 @@ /* __ *\ ** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003-2007, LAMP/EPFL ** +** / __/ __// _ | / / / _ | (c) 2003-2008, LAMP/EPFL ** ** __\ \/ /__/ __ |/ /__/ __ | ** ** /____/\___/_/ |_/____/_/ | | ** ** |/ ** @@ -11,9 +11,9 @@ package scala -/** A class for totally ordered data. +/** A trait for totally ordered data. * - * Note that since version 2006-07-24 this class is no longer covariant in a. + * Note that since version 2006-07-24 this trait is no longer covariant in a. * * It is important that the equals method for an instance of * Ordered[A] be consistent with the compare method. However, |