zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.experimental/zio.prelude.experimental.laws/NoncontradictionLaws

NoncontradictionLaws

zio.prelude.experimental.laws.NoncontradictionLaws
object NoncontradictionLaws extends Lawful[NoncontradictionEqual]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def +[Caps1 <: (NoncontradictionEqual), R1](that: ZLawful[Caps1, R1]): ZLawful[Caps1, R1]

Attributes

Inherited from:
ZLawful

Concrete fields

lazy val laws: Laws[NoncontradictionEqual]

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

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

Attributes

lazy val noncontradictionLaw: Laws[NoncontradictionEqual]

The non-contradiction law states that for the meet operator ^^^, the bottom element 0, complement operator ! and for any value a, the following must hold:

The non-contradiction law states that for the meet operator ^^^, the bottom element 0, complement operator ! and for any value a, the following must hold:

!a ^^^ a === 0

Attributes

Generated with