EN
importPour l'utiliser : import Data.SortedMap

Data.SortedMap — le dictionnaire ordonné compatible Idris (un mince alias de Data.Map)

Synopsis 
empty : SortedMap k v
singleton : k -> v -> SortedMap k v
insert : Ord k => k -> v -> SortedMap k v -> SortedMap k v
delete : Ord k => k -> SortedMap k v -> SortedMap k v
lookup : Ord k => k -> SortedMap k v -> Maybe v
member : Ord k => k -> SortedMap k v -> Bool
size : SortedMap k v -> Nat
fromList : Ord k => List (k, v) -> SortedMap k v
toList : SortedMap k v -> List (k, v)
keys : SortedMap k v -> List k
values : SortedMap k v -> List v