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

Heyting

algebra.lattice.Heyting$
See theHeyting companion trait
object Heyting extends HeytingFunctions[Heyting] with HeytingGenBoolOverlap[Heyting]

Attributes

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

Members list

Concise view

Value members

Concrete methods

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

Access an implicit Heyting[A].

Access an implicit Heyting[A].

Attributes

Source:
Heyting.scala

Inherited methods

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

Attributes

Inherited from:
HeytingGenBoolOverlap
Source:
Heyting.scala
def complement[A](x: A)(implicit ev: Heyting[A]): A

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
HeytingGenBoolOverlap
Source:
Heyting.scala
def xor[A](x: A, y: A)(implicit ev: Heyting[A]): A

Attributes

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