InvolutionLaws

zio.prelude.experimental.laws.InvolutionLaws

Attributes

Graph
Supertypes: trait ZLawful[InvolutionEqual, Any]

class Object

trait Matchable

class Any
Self type: InvolutionLaws.type

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

!(!a) === a

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

In this article

Generated with