IdrisDoc
: Data.SortedMap
Index
Data.SortedMap
toList
:
SortedMap
k
v
->
List
(
k
,
v
)
lookup
:
k
->
SortedMap
k
v
->
Maybe
v
insert
:
k
->
v
->
SortedMap
k
v
->
SortedMap
k
v
fromList
:
Ord
k
=>
List
(
k
,
v
)
->
SortedMap
k
v
empty
:
Ord
k
=>
SortedMap
k
v
delete
:
k
->
SortedMap
k
v
->
SortedMap
k
v
data
SortedMap
:
Type
->
Type
->
Type
Empty
:
Ord
k
=>
SortedMap
k
v
M
:
Ord
k
=> (
n
:
Nat
) ->
Tree
n
k
v
o
->
SortedMap
k
v