- data SortedSet : Type -> Type
- Totality: total
Constructor: - SetWrapper : SortedMap k () -> SortedSet k
- contains : k -> SortedSet k -> Bool
-
- delete : k -> SortedSet k -> SortedSet k
-
- difference : SortedSet k -> SortedSet k -> SortedSet k
Set difference. Delete all elments in y from x
- empty : Ord k => SortedSet k
-
- fromList : Ord k => List k -> SortedSet k
-
- insert : k -> SortedSet k -> SortedSet k
-
- intersection : SortedSet k -> SortedSet k -> SortedSet k
Set intersection. Implemented as the difference of the union and the symetric difference.
- keySet : SortedMap k v -> SortedSet k
-
- singleton : Ord k => k -> SortedSet k
-
- symDifference : SortedSet k -> SortedSet k -> SortedSet k
Set symmetric difference. Uses the union of the differences.
- toList : SortedSet k -> List k
-
- union : SortedSet k -> SortedSet k -> SortedSet k
Set union. Inserts all elements of x into y