IdrisDoc
: Data.SortedSet
Index
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