IdrisDoc: Data.SortedSet

Data.SortedSet

toList : SortedSet k -> List k
insert : k -> SortedSet k -> SortedSet k
fromList : Ord k => List k -> SortedSet k
empty : Ord k => SortedSet k
delete : k -> SortedSet k -> SortedSet k
contains : k -> SortedSet k -> Bool
data SortedSet : Type -> Type
SetWrapper : SortedMap k () -> SortedSet k