DecSet

final class DecSet[A] extends AnyVal

Decreasing set. A wrapper for Set where a monotonic update is one that removes elements, e.g. by intersection or set difference. This is dual to the usual view of the poset of sets: here, smaller sets (by subset relation) are considered greater (i.e. are higher in the lattice), set intersection is the join and set union is the meet.

Companion:
object
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def contains(a: A): Boolean
def diff(that: DecSet[A]): DecSet[A]
def head: A
def intersect(that: DecSet[A]): DecSet[A]
def size: Int
def tail: DecSet[A]
def toList: List[A]