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

Bool

algebra.lattice.Bool$
See theBool companion trait
object Bool extends HeytingFunctions[Bool] with GenBoolFunctions[Bool]

Attributes

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

Members list

Concise view

Value members

Concrete methods

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

Access an implicit Bool[A].

Access an implicit Bool[A].

Attributes

Source:
Bool.scala

Inherited methods

def and[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
GenBoolFunctions
Source:
GenBool.scala
def complement[A](x: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
HeytingFunctions
Source:
Heyting.scala
def imp[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
HeytingFunctions
Source:
Heyting.scala
def join[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

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

Attributes

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

Attributes

Inherited from:
HeytingFunctions
Source:
Heyting.scala
def nor[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
HeytingFunctions
Source:
Heyting.scala
def nxor[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
HeytingFunctions
Source:
Heyting.scala
def one[A](implicit ev: Bool[A]): A
def or[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
GenBoolFunctions
Source:
GenBool.scala
def without[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
GenBoolFunctions
Source:
GenBool.scala
def xor[A](x: A, y: A)(implicit ev: Bool[A]): A

Attributes

Inherited from:
GenBoolFunctions
Source:
GenBool.scala
def zero[A](implicit ev: Bool[A]): A
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL