Idris2Doc : Data.SortedSet.Extra

Data.SortedSet.Extra

(source)
Definitions
mapIn : Ord b => (a -> b) -> SortedSet a -> SortedSet b
  Totality: total
  Visibility: export
mapInMaybe : Ord b => (a -> Maybe b) -> SortedSet a -> SortedSet b
  Totality: total
  Visibility: export
fromFoldable : Ord a => Foldable f => f a -> SortedSet a
  Totality: total
  Visibility: export