Involution

zio.prelude.experimental.Involution
See theInvolution companion object

Attributes

Companion
object
Graph
Supertypes
trait Noncontradiction[A]
trait ExcludedMiddle[A]
trait Complement[A]
trait Absorption[A]
class Object
trait Matchable
class Any
Show all
Known subtypes
trait InvolutionEqual[A]

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
ExcludedMiddle
def Or: Identity[subtypeF.Type[A]]

Attributes

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

Attributes

Inherited from:
Absorption
def bottom: A

Attributes

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

Attributes

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

Attributes

Inherited from:
Absorption
def top: A

Attributes

Inherited from:
ExcludedMiddle