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