Idris2Doc : Data.SortedSet

Data.SortedSet

dataSortedSet : Type -> Type
Totality: total
Constructor: 
SetWrapper : SortedMapk () -> 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