core/algebra.lattice/LogicFunctions

LogicFunctions

trait LogicFunctions[H <: ([A] =>> Logic[A])]
class Object
trait Matchable
class Any
object DeMorgan
object Logic

Value members

Concrete methods

def complement[@specialized(Int, Long) A](x: A)(ev: H[A]): A
def nand[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def nor[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A
def nxor[@specialized(Int, Long) A](x: A, y: A)(ev: H[A]): A