Idris2Doc : Syntax.IHateParens.SortedMap

Syntax.IHateParens.SortedMap

(source)
Reexports
import public Data.SortedMap
Definitions
.asList : SortedMap k v -> List (k, v)
  Totality: total
  Visibility: public export
.size : SortedMap k v -> Nat
  Totality: total
  Visibility: public export
.asVect : (m : SortedMap k v) -> Vect (m .size) (k, v)
  Totality: total
  Visibility: public export