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