Equivalence

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +[CapsBoth1[x, y] <: Equivalence[x, y], CapsLeft1[x] <: Equal[x], CapsRight1[x] <: Equal[x], R1 <: Any](that: ZLawful2[CapsBoth1, CapsLeft1, CapsRight1, R1]): ZLawful2[CapsBoth1, CapsLeft1, CapsRight1, R1]

Definition Classes
ZLawful2
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def either[A, B, C]: Equivalence[Either[A, Either[B, C]], Either[Either[A, B], C]]

Constructs an equivalence between a right-associated nested either, and a left-associated nested either.
def eitherFlip[A, B]: Equivalence[Either[A, B], Either[B, A]]
def eitherNothing[A]: Equivalence[Either[A, Nothing], A]
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
def identity[A]: Equivalence[A, A]

Constructs the identity equivalence, which just says that any type is equivalent to itself and is trivially true.
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val laws: Laws2[Equivalence, Equal, Equal]

Definition Classes
Equivalence → ZLawful2
val leftIdentity: Laws2[Equivalence, Equal, AnyF]
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
val rightIdentity: Laws2[Equivalence, AnyF, Equal]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def tuple[A, B, C]: Equivalence[(A, (B, C)), ((A, B), C)]

Constructs an equivalence between a right-associated nested tuple, and a left-associated nested tuple.
def tupleAny[A]: Equivalence[(A, Any), A]
def tupleFlip[A, B]: Equivalence[(A, B), (B, A)]
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: class Equivalence | package prelude

object Equivalence extends Lawful2[Equivalence, Equal, Equal] with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

def +[CapsBoth1[x, y] <: Equivalence[x, y], CapsLeft1[x] <: Equal[x], CapsRight1[x] <: Equal[x], R1 <: Any](that: ZLawful2[CapsBoth1, CapsLeft1, CapsRight1, R1]): ZLawful2[CapsBoth1, CapsLeft1, CapsRight1, R1]

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def either[A, B, C]: Equivalence[Either[A, Either[B, C]], Either[Either[A, B], C]]

def eitherFlip[A, B]: Equivalence[Either[A, B], Either[B, A]]

def eitherNothing[A]: Equivalence[Either[A, Nothing], A]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def identity[A]: Equivalence[A, A]

final def isInstanceOf[T0]: Boolean

val laws: Laws2[Equivalence, Equal, Equal]

val leftIdentity: Laws2[Equivalence, Equal, AnyF]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val rightIdentity: Laws2[Equivalence, AnyF, Equal]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def tuple[A, B, C]: Equivalence[(A, (B, C)), ((A, B), C)]

def tupleAny[A]: Equivalence[(A, Any), A]

def tupleFlip[A, B]: Equivalence[(A, B), (B, A)]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Serializable

Inherited from Serializable

Inherited from ZLawful2[Equivalence, Equal, Equal, Any]

Inherited from AnyRef

Inherited from Any

Ungrouped