Idris2Doc : Data.SortedSet

Data.SortedSet

SortedSet : Type -> Type
Totality: total
Constructor: 
SetWrapper : SortedMapkUnit -> SortedSetk
contains : k -> SortedSetk -> Bool
delete : k -> SortedSetk -> SortedSetk
difference : SortedSetk -> SortedSetk -> SortedSetk
Set difference. Delete all elments in y from x
empty : Ordk => SortedSetk
fromList : Ordk => Listk -> SortedSetk
insert : k -> SortedSetk -> SortedSetk
intersection : SortedSetk -> SortedSetk -> SortedSetk
Set intersection. Implemented as the difference of the union and the symetric difference.
keySet : SortedMapkv -> SortedSetk
singleton : Ordk => k -> SortedSetk
symDifference : SortedSetk -> SortedSetk -> SortedSetk
Set symmetric difference. Uses the union of the differences.
toList : SortedSetk -> Listk
union : SortedSetk -> SortedSetk -> SortedSetk
Set union. Inserts all elements of x into y