zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/zio.prelude.experimental/Noncontradiction

Noncontradiction

zio.prelude.experimental.Noncontradiction
See theNoncontradiction companion object
trait Noncontradiction[A] extends Complement[A]

Attributes

Companion
object
Graph
Supertypes
trait Complement[A]
trait Absorption[A]
class Object
trait Matchable
class Any
Known subtypes
trait InvolutionEqual[A]
trait Involution[A]

Members list

Value members

Abstract methods

def Or: Identity[subtypeF.Type[A]]

Concrete methods

def bottom: A

Inherited methods

def And: Associative[subtypeF.Type[A]]

Attributes

Inherited from:
Absorption
def and(l: => A, r: => A): A

Attributes

Inherited from:
Absorption
def complement(a: => A): A

Attributes

Inherited from:
Complement
def or(l: => A, r: => A): A

Attributes

Inherited from:
Absorption
Generated with