trait EqualIdempotent[A] extends AssociativeEqual[A] with Idempotent[A]
- Alphabetic
- By Inheritance
- EqualIdempotent
- Idempotent
- 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 combineIdempotent(l: => A, r: => A)(implicit A: Equal[A]): A
If the values are equal, it doesn't attempt to combine them and promptly returns the first one.
If the values are equal, it doesn't attempt to combine them and promptly returns the first one. If not equal, the values are combined normally.
- Definition Classes
- Idempotent
- def combineNormal(l: => A, r: => A): A
- Attributes
- protected
- Definition Classes
- Idempotent
- 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()
- def idempotent(implicit A: Equal[A]): Idempotent[A]
Creates a new instance which internally uses
combineIdempotent
for combining values.Creates a new instance which internally uses
combineIdempotent
for combining values.- Definition Classes
- Idempotent
- 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()