core/algebra.lattice/DeMorgan

DeMorgan

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

Value members

Concrete methods

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

Access an implicit DeMorgan[A].

Access an implicit DeMorgan[A].

final def fromBool[@specialized(Int, Long) A](bool: Bool[A]): DeMorgan[A]

Turn a Bool into a DeMorgan Used for binary compatibility.

Turn a Bool into a DeMorgan Used for binary compatibility.

Inherited methods

def complement[@specialized(Int, Long) A](x: A)(ev: DeMorgan[A]): A
Inherited from
LogicFunctions
def join[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: DeMorgan[A]): A
def meet[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: DeMorgan[A]): A
def nand[@specialized(Int, Long) A](x: A, y: A)(ev: DeMorgan[A]): A
Inherited from
LogicFunctions
def nor[@specialized(Int, Long) A](x: A, y: A)(ev: DeMorgan[A]): A
Inherited from
LogicFunctions
def nxor[@specialized(Int, Long) A](x: A, y: A)(ev: DeMorgan[A]): A
Inherited from
LogicFunctions
def one[@specialized(Int, Long, Float, Double) A](ev: DeMorgan[A]): A
def zero[@specialized(Int, Long, Float, Double) A](ev: DeMorgan[A]): A