Packages

trait InvolutionEqual[A] extends AbsorptionEqual[A] with Involution[A]

Linear Supertypes
Involution[A], Complement[A], AbsorptionEqual[A], Equal[A], Absorption[A], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InvolutionEqual
  2. Involution
  3. Complement
  4. AbsorptionEqual
  5. Equal
  6. Absorption
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

  1. abstract def And: Associative[AndF[A]]
    Definition Classes
    Absorption
  2. abstract def Or: Associative[OrF[A]]
    Definition Classes
    Absorption
  3. abstract def complement(a: => A): A
    Definition Classes
    Complement

Concrete Value Members

  1. def and(l: => A, r: => A): A
    Definition Classes
    Absorption
  2. final def both[B](that: => Equal[B]): Equal[(A, B)]

    Constructs an Equal[(A, B)] given an Equal[A] and Equal[B] by first comparing the A values for equality and then comparing the B values for equality, if necessary.

    Constructs an Equal[(A, B)] given an Equal[A] and Equal[B] by first comparing the A values for equality and then comparing the B values for equality, if necessary.

    Definition Classes
    Equal
  3. final def bothWith[B, C](that: => Equal[B])(f: (C) => (A, B)): Equal[C]

    Constructs an Equal[C] given an Equal[A], an Equal[B] and a function f to transform a C value into an (A, B).

    Constructs an Equal[C] given an Equal[A], an Equal[B] and a function f to transform a C value into an (A, B). The instance will convert each C value into an (A, B), compare the A values for equality, and then compare the B values for equality if necessary.

    Definition Classes
    Equal
  4. def contramap[B](f: (B) => A): Equal[B]

    Constructs an Equal[B] given an Equal[A] and a function f to transform a B value into an A value.

    Constructs an Equal[B] given an Equal[A] and a function f to transform a B value into an A value. The instance will convert each B value into an A and the compare the A values for equality.

    Definition Classes
    Equal
  5. final def either[B](that: => Equal[B]): Equal[Either[A, B]]

    Constructs an Equal[Either[A, B]] given an Equal[A] and an Equal[B].

    Constructs an Equal[Either[A, B]] given an Equal[A] and an Equal[B]. The instance will compare the Either[A, B] values and if both are Right or Left compare them for equality.

    Definition Classes
    Equal
  6. final def eitherWith[B, C](that: => Equal[B])(f: (C) => Either[A, B]): Equal[C]

    Constructs an Equal[C] given an Equal[A], an Equal[B], and a function f to transform a C value into an Either[A, B].

    Constructs an Equal[C] given an Equal[A], an Equal[B], and a function f to transform a C value into an Either[A, B]. The instance will convert each C value into an Either[A, B] and then if both are Right or Left compare them for equality.

    Definition Classes
    Equal
  7. 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
  8. 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
  9. def or(l: => A, r: => A): A
    Definition Classes
    Absorption
  10. def toScala[A1 <: A]: Equiv[A1]
    Definition Classes
    Equal