t
zio.prelude.experimental.coherent
DistributiveAbsorptionEqual
Companion object DistributiveAbsorptionEqual
trait DistributiveAbsorptionEqual[A] extends AbsorptionEqual[A] with DistributiveAbsorption[A]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- DistributiveAbsorptionEqual
- DistributiveAbsorption
- AbsorptionEqual
- Equal
- Absorption
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Abstract Value Members
- abstract def And: Associative[AndF[A]]
- Definition Classes
- Absorption
- abstract def Or: Associative[OrF[A]]
- Definition Classes
- Absorption
- abstract def checkEqual(l: A, r: A): Boolean
- Attributes
- protected
- Definition Classes
- Equal
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
- def and(l: => A, r: => A): A
- Definition Classes
- Absorption
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- final def both[B](that: => Equal[B]): Equal[(A, B)]
- Definition Classes
- Equal
- final def bothWith[B, C](that: => Equal[B])(f: (C) => (A, B)): Equal[C]
- Definition Classes
- Equal
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def contramap[B](f: (B) => A): Equal[B]
- Definition Classes
- Equal
- final def either[B](that: => Equal[B]): Equal[Either[A, B]]
- Definition Classes
- Equal
- final def eitherWith[B, C](that: => Equal[B])(f: (C) => Either[A, B]): Equal[C]
- Definition Classes
- Equal
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def equal(l: A, r: A): Boolean
- 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 isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notEqual(l: A, r: A): Boolean
- Definition Classes
- Equal
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def or(l: => A, r: => A): A
- Definition Classes
- Absorption
- 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()