Sky.Core.Set
Sky.Core.Set — unordered set of unique elements (Layer 3 Sky source).
Values
diff : Set a -> Set a -> Set a
`diff a b` — every element in `a` BUT NOT in `b`.
empty : Set a
The empty set.
fromList : List a -> Set a
Build a set from a list, de-duplicating along the way.
insert : a -> Set a -> Set a
`insert x s` — add `x` to `s`. No-op if already present.
intersect : Set a -> Set a -> Set a
`intersect a b` — every element in BOTH `a` and `b`.
member : a -> Set a -> Bool
`member x s` — `True` iff `x` is in `s`.
remove : a -> Set a -> Set a
`remove x s` — drop `x` from `s`. No-op if absent.
size : Set a -> Int
Number of distinct elements.
toList : Set a -> List a
All elements in the set (unsorted).
union : Set a -> Set a -> Set a
`union a b` — every element in `a` OR `b`.