Packages

object InvolutionLaws extends Lawful[InvolutionEqual]

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. InvolutionLaws
  2. ZLawful
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. def +[Caps1[x] <: InvolutionEqual[x], R1 <: Any](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]
    Definition Classes
    ZLawful
  2. lazy val involutionLaw: Laws[InvolutionEqual]

    The join involution law states that for the complement operator !, and for any value a, the following must hold:

    The join involution law states that for the complement operator !, and for any value a, the following must hold:

    !(!a) === a
  3. lazy val laws: Laws[InvolutionEqual]

    The set of all laws that instances of Involution must satisfy.

    The set of all laws that instances of Involution must satisfy.

    Definition Classes
    InvolutionLaws → ZLawful