Movatterモバイル変換


[0]ホーム

URL:


Scala 3
3.7.4
LearnInstallPlaygroundFind A LibraryCommunityBlog
Scala 3
LearnInstallPlaygroundFind A LibraryCommunityBlog
DocsAPI
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL
Scala 3/scala/scala.math/Equiv

Equiv

scala.math.Equiv
See theEquiv companion object
traitEquiv[T] extendsSerializable

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.

Anequivalence relation is a binary relation on a type. This relation is exposed as theequiv method of theEquiv trait. The relation must be:

  1. reflexive:equiv(x, x) == true for any x of typeT.

  2. symmetric:equiv(x, y) == equiv(y, x) for anyx andy of typeT.

  3. transitive: ifequiv(x, y) == true andequiv(y, z) == true, thenequiv(x, z) == true for anyx,y, andz of typeT.

Attributes

Companion
object
Source
Equiv.scala
Graph
Supertypes
classAny
Known subtypes
objectBigDecimal
objectBigInt
objectBoolean
objectByte
objectChar
traitIeeeEquiv
objectIeeeEquiv
traitIeeeEquiv
objectIeeeEquiv
objectInt
objectLong
objectShort
objectString
objectSymbol
objectUnit
traitOrdering[T]
traitNumeric[T]
traitFractional[T]
traitIntegral[T]
objectBigDecimal
objectBigInt
objectBoolean
objectByte
traitCachedReverse[T]
objectInt
objectChar
objectLong
objectShort
objectString
objectSymbol
objectUnit
Show all

Members list

Value members

Abstract methods

defequiv(x:T,y:T):Boolean
Implicitly added byOption

Returnstrue iffx is equivalent toy.

Returnstrue iffx is equivalent toy.

Attributes

Source
Equiv.scala
defequiv(x:T,y:T):Boolean

Returnstrue iffx is equivalent toy.

Returnstrue iffx is equivalent toy.

Attributes

Source
Equiv.scala
In this article
Generated with
Copyright (c) 2002-2025, LAMP/EPFL
Copyright (c) 2002-2025, LAMP/EPFL

[8]ページ先頭

©2009-2025 Movatter.jp