Trait/Object

scala.math

Equiv

Related Docs: object Equiv | package math

Permalink

trait Equiv[T] extends Serializable

A trait for representing equivalence relations. It is important to distinguish between a type that can be compared for equality or equivalence and a representation of equivalence on some type. This trait is for representing the latter.

An equivalence relation is a binary relation on a type. This relation is exposed as the equiv method of the Equiv trait. The relation must be:

  1. reflexive: equiv(x, x) == true for any x of type T.
  2. symmetric: equiv(x, y) == equiv(y, x) for any x and y of type T.
  3. transitive: if equiv(x, y) == true and equiv(y, z) == true, then equiv(x, z) == true for any x, y, and z of type T.
Source
Equiv.scala
Version

1.0, 2008-04-03

Since

2.7

Linear Supertypes
Serializable, java.io.Serializable, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Equiv
  2. Serializable
  3. Serializable
  4. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def equiv(x: T, y: T): Boolean

    Permalink

    Returns true iff x is equivalent to y.

  2. abstract def getClass(): Class[_]

    Permalink

    Returns the runtime class representation of the object.

    Returns the runtime class representation of the object.

    returns

    a class object corresponding to the runtime type of the receiver.

    Definition Classes
    Any