core/algebra.lattice/GenBoolFunctions

GenBoolFunctions

trait GenBoolFunctions[G <: ([A] =>> GenBool[A])] extends BoundedJoinSemilatticeFunctions[G] with MeetSemilatticeFunctions[G]
class Object
trait Matchable
class Any
object Bool
object GenBool

Value members

Concrete methods

def and[@specialized(Int, Long) A](x: A, y: A)(ev: G[A]): A
def or[@specialized(Int, Long) A](x: A, y: A)(ev: G[A]): A
def without[@specialized(Int, Long) A](x: A, y: A)(ev: G[A]): A
def xor[@specialized(Int, Long) A](x: A, y: A)(ev: G[A]): A

Inherited methods

def join[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: G[A]): A
def meet[@specialized(Int, Long, Float, Double) A](x: A, y: A)(ev: G[A]): A
def zero[@specialized(Int, Long, Float, Double) A](ev: G[A]): A