core/algebra.instances/SetLattice

SetLattice

class SetLattice[A] extends GenBool[Set[A]]
trait GenBool[Set[A]]
trait DistributiveLattice[Set[A]]
trait Lattice[Set[A]]
trait MeetSemilattice[Set[A]]
trait JoinSemilattice[Set[A]]
trait Serializable
class Object
trait Matchable
class Any

Value members

Concrete methods

def and(lhs: Set[A], rhs: Set[A]): Set[A]
def or(lhs: Set[A], rhs: Set[A]): Set[A]
def without(lhs: Set[A], rhs: Set[A]): Set[A]
def zero: Set[A]

Inherited methods

def asBoolRing: BoolRng[Set[A]]

Every generalized Boolean algebra is also a BoolRng, with multiplication defined as and and addition defined as xor.

Every generalized Boolean algebra is also a BoolRng, with multiplication defined as and and addition defined as xor.

Inherited from
GenBool
def dual: Lattice[Set[A]]

This is the lattice with meet and join swapped

This is the lattice with meet and join swapped

Inherited from
Lattice
def isZero(a: Set[A])(ev: Eq[Set[A]]): Boolean
override def join(a: Set[A], b: Set[A]): Set[A]
Definition Classes
Inherited from
GenBool
def joinPartialOrder(ev: Eq[Set[A]]): PartialOrder[Set[A]]
Inherited from
JoinSemilattice
override def joinSemilattice: BoundedSemilattice[Set[A]]
override def meet(a: Set[A], b: Set[A]): Set[A]
Definition Classes
Inherited from
GenBool
def meetPartialOrder(ev: Eq[Set[A]]): PartialOrder[Set[A]]
Inherited from
MeetSemilattice
def meetSemilattice: Semilattice[Set[A]]
Inherited from
MeetSemilattice
def xor(a: Set[A], b: Set[A]): Set[A]

Logical exclusive or, set-theoretic symmetric difference. Defined as a\b ∨ b\a.

Logical exclusive or, set-theoretic symmetric difference. Defined as a\b ∨ b\a.

Inherited from
GenBool