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

Logic

algebra.lattice.Logic$
See theLogic companion trait
object Logic extends LogicFunctions[Logic]

Attributes

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

Members list

Concise view

Value members

Concrete methods

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

Access an implicit Logic[A].

Access an implicit Logic[A].

Attributes

Source:
Logic.scala
final def fromHeyting[A](h: Heyting[A]): Logic[A]

Turn a Heyting into a Logic. Used for binary compatibility.

Turn a Heyting into a Logic. Used for binary compatibility.

Attributes

Source:
Logic.scala

Inherited methods

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

Attributes

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

Attributes

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

Attributes

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

Attributes

Inherited from:
LogicFunctions
Source:
Logic.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL