Equiv

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:

reflexive: equiv(x, x) == true for any x of type T.
symmetric: equiv(x, y) == equiv(y, x) for any x and y of type T.
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.

Version: 1.0, 2008-04-03
Since: 2.7

Linear Supertypes

Serializable, java.io.Serializable, Any

Known Subclasses

BigDecimal, BigDecimalAsIfIntegral, BigDecimalAsIfIntegral, BigDecimalIsConflicted, BigDecimalIsFractional, BigDecimalIsFractional, BigDecimalOrdering, BigInt, BigIntIsIntegral, BigIntIsIntegral, BigIntOrdering, Boolean, BooleanOrdering, Byte, ByteIsIntegral, ByteIsIntegral, ByteOrdering, Char, CharIsIntegral, CharIsIntegral, CharOrdering, DeadlineIsOrdered, Double, DoubleAsIfIntegral, DoubleAsIfIntegral, DoubleIsConflicted, DoubleIsFractional, DoubleIsFractional, DoubleOrdering, DurationIsOrdered, FiniteDurationIsOrdered, Float, FloatAsIfIntegral, FloatAsIfIntegral, FloatIsConflicted, FloatIsFractional, FloatIsFractional, FloatOrdering, Fractional, Int, IntIsIntegral, IntIsIntegral, IntOrdering, Integral, Long, LongIsIntegral, LongIsIntegral, LongOrdering, Numeric, OptionOrdering, Ordering, PartialOrdering, Short, ShortIsIntegral, ShortIsIntegral, ShortOrdering, String, StringOrdering, Unit, UnitOrdering, ValueOrdering

Abstract Value Members

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

Returns true iff x is equivalent to y.
abstract def getClass(): Class[_]

Definition Classes
Any

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
Any
final def ==(arg0: Any): Boolean

Definition Classes
Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def equals(arg0: Any): Boolean

Definition Classes
Any
def hashCode(): Int

Definition Classes
Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def toString(): String

Definition Classes
Any

Related Docs: object Equiv | package math

trait Equiv[T] extends Serializable

Abstract Value Members

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

abstract def getClass(): Class[_]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def equals(arg0: Any): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def toString(): String

Inherited from Serializable

Inherited from java.io.Serializable

Inherited from Any

Ungrouped