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
Aare equal.Returns whether two values of type
Aare 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 theAvalues for equality and then comparing theBvalues for equality, if necessary.Constructs an
Equal[(A, B)]given anEqual[A]andEqual[B]by first comparing theAvalues for equality and then comparing theBvalues 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 functionfto transform aCvalue into an(A, B).Constructs an
Equal[C]given anEqual[A], anEqual[B]and a functionfto transform aCvalue into an(A, B). The instance will convert eachCvalue into an(A, B), compare theAvalues for equality, and then compare theBvalues 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
Commutativeinstance that describes the same binary operator but applied in reverse order.Returns a new
Commutativeinstance 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 functionfto transform aBvalue into anAvalue.Constructs an
Equal[B]given anEqual[A]and a functionfto transform aBvalue into anAvalue. The instance will convert eachBvalue into anAand the compare theAvalues 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 areRightorLeftcompare 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 functionfto transform aCvalue into anEither[A, B].Constructs an
Equal[C]given anEqual[A], anEqual[B], and a functionfto transform aCvalue into anEither[A, B]. The instance will convert eachCvalue into anEither[A, B]and then if both areRightorLeftcompare 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
Aare equal.Returns whether two values of type
Aare 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
Aare not equal.Returns whether two values of type
Aare 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()