Equiv (original) (raw)

scala.math.Equiv

See theEquiv companion object

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.

Attributes

Companion

object

Source

Equiv.scala

Graph

Supertypes

Known subtypes

Members list

Implicitly added by Option

Returns true iff x is equivalent to y.

Returns true iff x is equivalent to y.

Attributes

Source

Equiv.scala

Returns true iff x is equivalent to y.

Returns true iff x is equivalent to y.

Attributes

Source

Equiv.scala

In this article