Cats algebra
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Cats algebra/algebra.lattice/DeMorgan

DeMorgan

algebra.lattice.DeMorgan$
See theDeMorgan companion trait
object DeMorgan extends DeMorganFunctions[DeMorgan]

Attributes

Companion:
trait
Source:
DeMorgan.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Concise view

Value members

Concrete methods

final def apply[A](implicit ev: DeMorgan[A]): DeMorgan[A]

Access an implicit DeMorgan[A].

Access an implicit DeMorgan[A].

Attributes

Source:
DeMorgan.scala
final def fromBool[A](bool: Bool[A]): DeMorgan[A]

Turn a Bool into a DeMorgan Used for binary compatibility.

Turn a Bool into a DeMorgan Used for binary compatibility.

Attributes

Source:
DeMorgan.scala

Inherited methods

def complement[A](x: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
LogicFunctions
Source:
Logic.scala
def join[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
JoinSemilatticeFunctions
Source:
JoinSemilattice.scala
def meet[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
MeetSemilatticeFunctions
Source:
MeetSemilattice.scala
def nand[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
LogicFunctions
Source:
Logic.scala
def nor[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
LogicFunctions
Source:
Logic.scala
def nxor[A](x: A, y: A)(implicit ev: DeMorgan[A]): A

Attributes

Inherited from:
LogicFunctions
Source:
Logic.scala
def one[A](implicit ev: DeMorgan[A]): A
def zero[A](implicit ev: DeMorgan[A]): A
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL