IdrisDoc: Data.SortedMap

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