Трейт scala.math.Equiv
трейт Equiv[T] extends Serializable
Трейт для представления отношений эквивалентности. Важно различать тип, который можно сравнить на равенство или эквивалентность, и представление эквивалентности для некоторого типа. Этот трейт предназначен для представления последнего.
Отношение эквивалентности — это бинарное отношение на типе. Это отношение представлено методом equiv трейта Equiv. Отношение должно быть:
рефлексивным:
equiv(x, x) == trueдля любого x типаT.симметричным:
equiv(x, y) == equiv(y, x)для любыхxиyтипаT.транзитивным: если
equiv(x, y) == trueиequiv(y, z) == true, тоequiv(x, z) == trueдля любыхx,yиzтипаT.
| Надтипы |
|---|
| Известные подтипы | 85 типов |
|---|
Абстрактные методы
Источник
Возвращает true, если x эквивалентно y.
Источник
Возвращает 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