core/algebra.lattice/Logic

Logic

object Logic extends LogicFunctions[[A] =>> Logic[A]]
Companion
class
trait LogicFunctions[[A] =>> Logic[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

@inline
final def apply[@specialized(Int, Long) A](ev: Logic[A]): Logic[A]

Access an implicit Logic[A].

Access an implicit Logic[A].

final def fromHeyting[@specialized(Int, Long) 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.

Inherited methods

def complement[@specialized(Int, Long) A](x: A)(ev: Logic[A]): A
Inherited from
LogicFunctions
def nand[@specialized(Int, Long) A](x: A, y: A)(ev: Logic[A]): A
Inherited from
LogicFunctions
def nor[@specialized(Int, Long) A](x: A, y: A)(ev: Logic[A]): A
Inherited from
LogicFunctions
def nxor[@specialized(Int, Long) A](x: A, y: A)(ev: Logic[A]): A
Inherited from
LogicFunctions