Spec-Zone.ru › Scala 3.1

Трейт scala.math.Equiv

Объект-компаньон • Исходный код

трейт Equiv[T] extends Serializable

Трейт для представления отношений эквивалентности. Важно различать тип, который можно сравнить на равенство или эквивалентность, и представление эквивалентности для некоторого типа. Этот трейт предназначен для представления последнего.

Отношение эквивалентности — это бинарное отношение на типе. Это отношение представлено методом equiv трейта Equiv. Отношение должно быть:

  1. рефлексивным: equiv(x, x) == true для любого x типа T.

  2. симметричным: equiv(x, y) == equiv(y, x) для любых x и y типа T.

  3. транзитивным: если equiv(x, y) == true и equiv(y, z) == true, то equiv(x, z) == true для любых x, y и z типа T.

Надтипы
трейт Serializable
класс Any
Известные подтипы
85 типов
объект BigDecimal.type
объект BigInt.type
объект Boolean.type
объект Byte.type
объект Char.type
тракт IeeeEquiv
объект IeeeEquiv.type
тракт StrictEquiv
объект DeprecatedDoubleEquiv.type
объект StrictEquiv.type
тракт IeeeEquiv
объект IeeeEquiv.type
тракт StrictEquiv
объект DeprecatedFloatEquiv.type
объект StrictEquiv.type
объект Int.type
объект Long.type
объект Short.type
объект String.type
объект Symbol.type
объект Unit.type
тракт PartialOrdering[T]
тракт Ordering[T]
объект ValueOrdering.type
объект DeadlineIsOrdered.type
объект DurationIsOrdered.type
объект FiniteDurationIsOrdered.type
тракт Numeric[T]
тракт Fractional[T]
тракт BigDecimalIsFractional
объект BigDecimalIsFractional.type
тракт DoubleIsFractional
объект DoubleIsFractional.type
тракт FloatIsFractional
объект FloatIsFractional.type
тракт Integral[T]
тракт BigDecimalAsIfIntegral
объект BigDecimalAsIfIntegral.type
тракт BigIntIsIntegral
объект BigIntIsIntegral.type
тракт ByteIsIntegral
объект ByteIsIntegral.type
тракт CharIsIntegral
объект CharIsIntegral.type
тракт IntIsIntegral
объект IntIsIntegral.type
тракт LongIsIntegral
объект LongIsIntegral.type
тракт ShortIsIntegral
объект ShortIsIntegral.type
тракт BigDecimalIsConflicted
тракт BigDecimalOrdering
объект BigDecimal.type
тракт BigIntOrdering
объект BigInt.type
тракт BooleanOrdering
объект Boolean.type
тракт ByteOrdering
объект Byte.type
тракт CachedReverse[T]
объект Int.type
тракт CharOrdering
объект Char.type
trait IeeeOrdering
object IeeeOrdering.type
trait TotalOrdering
object DeprecatedDoubleOrdering.type
object TotalOrdering.type
trait IeeeOrdering
object IeeeOrdering.type
trait TotalOrdering
object DeprecatedFloatOrdering.type
object TotalOrdering.type
trait IntOrdering
trait LongOrdering
object Long.type
trait OptionOrdering[T]
trait ShortOrdering
object Short.type
trait StringOrdering
object String.type
trait SymbolOrdering
object Symbol.type
trait UnitOrdering
object Unit.type

Абстрактные методы

Источник
def equiv(x: T, y: T): Boolean

Неявное добавление Option

Возвращает true, если x эквивалентно y.

Источник
def equiv(x: T, y: T): Boolean

Возвращает true, если x эквивалентно y.

© 2002-2022 EPFL, with contributions from Lightbend.
Licensed under the Apache License, Version 2.0.
https://scala-lang.org/api/3.1.1/scala/math/Equiv.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API