core/algebra.lattice/Bool

Bool

object Bool extends HeytingFunctions[[A] =>> Bool[A]] with GenBoolFunctions[[A] =>> Bool[A]]
Companion
class
trait GenBoolFunctions[[A] =>> Bool[A]]
trait HeytingFunctions[[A] =>> Bool[A]]
trait JoinSemilatticeFunctions[[A] =>> Bool[A]]
trait MeetSemilatticeFunctions[[A] =>> Bool[A]]
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Access an implicit Bool[A].

Access an implicit Bool[A].

Inherited methods

def and[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
GenBoolFunctions
def complement[@specialized(Int, Long) A](x: A)(ev: Bool[A]): A
Inherited from
HeytingFunctions
def imp[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
HeytingFunctions
def join[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: Bool[A]): A
def meet[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: Bool[A]): A
def nand[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
HeytingFunctions
def nor[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
HeytingFunctions
def nxor[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
HeytingFunctions
def one[@specialized(Int, Long, Float, Double) A](ev: Bool[A]): A
def or[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
GenBoolFunctions
def without[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
GenBoolFunctions
def xor[@specialized(Int, Long) A](x: A, y: A)(ev: Bool[A]): A
Inherited from
GenBoolFunctions
def zero[@specialized(Int, Long, Float, Double) A](ev: Bool[A]): A