trait CommutativeEqual[A] extends AssociativeEqual[A] with Commutative[A]
- Alphabetic
- By Inheritance
- CommutativeEqual
- Commutative
- AssociativeEqual
- Equal
- Associative
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Abstract Value Members
- abstract def checkEqual(l: A, r: A): Boolean
Returns whether two values of type
A
are equal.Returns whether two values of type
A
are equal.- Attributes
- protected
- Definition Classes
- Equal
- abstract def combine(l: => A, r: => A): A
- Definition Classes
- Associative
Concrete Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[B](that: => Equal[B]): Equal[(A, B)]
Constructs an
Equal[(A, B)]
given anEqual[A]
andEqual[B]
by first comparing theA
values for equality and then comparing theB
values for equality, if necessary.Constructs an
Equal[(A, B)]
given anEqual[A]
andEqual[B]
by first comparing theA
values for equality and then comparing theB
values for equality, if necessary.- Definition Classes
- Equal
- final def bothWith[B, C](that: => Equal[B])(f: (C) => (A, B)): Equal[C]
Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
and a functionf
to transform aC
value into an(A, B)
.Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
and a functionf
to transform aC
value into an(A, B)
. The instance will convert eachC
value into an(A, B)
, compare theA
values for equality, and then compare theB
values for equality if necessary.- Definition Classes
- Equal
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- final def commute: Commutative[A]
Returns a new
Commutative
instance that describes the same binary operator but applied in reverse order.Returns a new
Commutative
instance that describes the same binary operator but applied in reverse order. Since the operation is commutative this instance is guaranteed to return the same results as the original instance but one order of combination or the other may be more efficient in certain cases.- Definition Classes
- Commutative
- def contramap[B](f: (B) => A): Equal[B]
Constructs an
Equal[B]
given anEqual[A]
and a functionf
to transform aB
value into anA
value.Constructs an
Equal[B]
given anEqual[A]
and a functionf
to transform aB
value into anA
value. The instance will convert eachB
value into anA
and the compare theA
values for equality.- Definition Classes
- Equal
- final def either[B](that: => Equal[B]): Equal[Either[A, B]]
Constructs an
Equal[Either[A, B]]
given anEqual[A]
and anEqual[B]
.Constructs an
Equal[Either[A, B]]
given anEqual[A]
and anEqual[B]
. The instance will compare theEither[A, B]
values and if both areRight
orLeft
compare them for equality.- Definition Classes
- Equal
- final def eitherWith[B, C](that: => Equal[B])(f: (C) => Either[A, B]): Equal[C]
Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
, and a functionf
to transform aC
value into anEither[A, B]
.Constructs an
Equal[C]
given anEqual[A]
, anEqual[B]
, and a functionf
to transform aC
value into anEither[A, B]
. The instance will convert eachC
value into anEither[A, B]
and then if both areRight
orLeft
compare them for equality.- Definition Classes
- Equal
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def equal(l: A, r: A): Boolean
Returns whether two values of type
A
are equal.Returns whether two values of type
A
are equal.- Definition Classes
- Equal
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def intersperse(middle: A): Associative[A]
- Definition Classes
- Associative
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def multiplyOption(n: Int)(a: A): Option[A]
- Definition Classes
- Associative
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notEqual(l: A, r: A): Boolean
Returns whether two values of type
A
are not equal.Returns whether two values of type
A
are not equal.- Definition Classes
- Equal
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def repeat(a: A)(n: Int): A
- Definition Classes
- Associative
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toScala[A1 <: A]: Equiv[A1]
- Definition Classes
- Equal
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()