Cats algebra
2.10.0
API
Generated with
Cats algebra/algebra/algebra.instances/SetLattice

SetLattice

algebra.instances.SetLattice
class SetLattice[A] extends GenBool[Set[A]]

Attributes

Source
set.scala
Graph
Supertypes
trait GenBool[Set[A]]
trait Lattice[Set[A]]
trait MeetSemilattice[Set[A]]
trait JoinSemilattice[Set[A]]
trait Serializable
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

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

Attributes

Source
set.scala
def or(lhs: Set[A], rhs: Set[A]): Set[A]

Attributes

Source
set.scala
def without(lhs: Set[A], rhs: Set[A]): Set[A]

The operation of relative complement, symbolically often denoted a\b (the symbol for set-theoretic difference, which is the meaning of relative complement in the lattice of sets).

The operation of relative complement, symbolically often denoted a\b (the symbol for set-theoretic difference, which is the meaning of relative complement in the lattice of sets).

Attributes

Source
set.scala
def zero: Set[A]

Attributes

Source
set.scala

Inherited methods

def dual: Lattice[A]

This is the lattice with meet and join swapped

This is the lattice with meet and join swapped

Attributes

Inherited from:
Lattice
Source
Lattice.scala
def isZero(a: Set[A])(implicit ev: Eq[Set[A]]): Boolean

Attributes

Inherited from:
BoundedJoinSemilattice
Source
BoundedJoinSemilattice.scala
override def join(a: Set[A], b: Set[A]): A

Attributes

Definition Classes
Inherited from:
GenBool
Source
GenBool.scala
def joinPartialOrder(implicit ev: Eq[Set[A]]): PartialOrder[A]

Attributes

Inherited from:
JoinSemilattice
Source
JoinSemilattice.scala
override def joinSemilattice: BoundedSemilattice[A]

Attributes

Definition Classes
Inherited from:
BoundedJoinSemilattice
Source
BoundedJoinSemilattice.scala
override def meet(a: Set[A], b: Set[A]): A

Attributes

Definition Classes
Inherited from:
GenBool
Source
GenBool.scala
def meetPartialOrder(implicit ev: Eq[Set[A]]): PartialOrder[A]

Attributes

Inherited from:
MeetSemilattice
Source
MeetSemilattice.scala
def meetSemilattice: Semilattice[A]

Attributes

Inherited from:
MeetSemilattice
Source
MeetSemilattice.scala
def xor(a: Set[A], b: Set[A]): A

Logical exclusive or, set-theoretic symmetric difference.

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

Attributes

Inherited from:
GenBool
Source
GenBool.scala

Deprecated and Inherited methods

def asBoolRing: BoolRng[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.

Attributes

Deprecated
[Since version 2.7.0]
Inherited from:
GenBool
Source
GenBool.scala
Generated with