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

DeMorganFunctions

algebra.lattice.DeMorganFunctions
trait DeMorganFunctions[H <: (DeMorgan)] extends BoundedMeetSemilatticeFunctions[H] with BoundedJoinSemilatticeFunctions[H] with LogicFunctions[H]

Attributes

Source:
DeMorgan.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object DeMorgan.type

Members list

Concise view

Value members

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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