scala.math.Equiv
See theEquiv companion object
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:
reflexive:
equiv(x, x) == truefor any x of typeT.symmetric:
equiv(x, y) == equiv(y, x)for anyxandyof typeT.transitive: if
equiv(x, y) == trueandequiv(y, z) == true, thenequiv(x, z) == truefor anyx,y, andzof typeT.
Attributes
- Companion
- object
- Source
- Equiv.scala
- Graph
-
- Supertypes
-
trait Serializableclass Any
- Known subtypes
-
object BigDecimal.typeobject BigInt.typeobject Boolean.typeobject Byte.typeobject Char.typetrait IeeeEquivobject IeeeEquiv.typetrait StrictEquivobject DeprecatedDoubleEquiv.typeobject StrictEquiv.typetrait IeeeEquivobject IeeeEquiv.typetrait StrictEquivobject DeprecatedFloatEquiv.typeobject StrictEquiv.typeobject Int.typeobject Long.typeobject Short.typeobject String.typeobject Symbol.typeobject Unit.typetrait PartialOrdering[T]trait Ordering[T]object DeadlineIsOrdered.typeobject DurationIsOrdered.typeobject FiniteDurationIsOrdered.typeobject ValueOrdering.typetrait Numeric[T]trait Fractional[T]trait BigDecimalIsFractionalobject BigDecimalIsFractional.typetrait DoubleIsFractionalobject DoubleIsFractional.typetrait FloatIsFractionalobject FloatIsFractional.typetrait Integral[T]trait BigDecimalAsIfIntegralobject BigDecimalAsIfIntegral.typetrait BigIntIsIntegralobject BigIntIsIntegral.typetrait ByteIsIntegralobject ByteIsIntegral.typetrait CharIsIntegralobject CharIsIntegral.typetrait IntIsIntegralobject IntIsIntegral.typetrait LongIsIntegralobject LongIsIntegral.typetrait ShortIsIntegralobject ShortIsIntegral.typetrait BigDecimalIsConflictedtrait BigDecimalOrderingobject BigDecimal.typetrait BigIntOrderingobject BigInt.typetrait BooleanOrderingobject Boolean.typetrait ByteOrderingobject Byte.typetrait CachedReverse[T]object Int.typetrait CharOrderingobject Char.typetrait IeeeOrderingobject IeeeOrdering.typetrait TotalOrderingobject DeprecatedDoubleOrdering.typeobject TotalOrdering.typetrait IeeeOrderingobject IeeeOrdering.typetrait TotalOrderingobject DeprecatedFloatOrdering.typeobject TotalOrdering.typetrait IntOrderingtrait LongOrderingobject Long.typetrait OptionOrdering[T]trait ShortOrderingobject Short.typetrait StringOrderingobject String.typetrait SymbolOrderingobject Symbol.typetrait UnitOrderingobject Unit.type
Members list
In this article