Idris2Doc : Libraries.Data.NameMap

Libraries.Data.NameMap

(source)
Definitions
data NameMap : Type -> Type
  Totality: total
  Visibility: export
  Constructors:
  
Empty : NameMap v
  
M : (n : Nat) -> Tree n v -> NameMap v

  Hints:
  
Functor NameMap
  
HasNames (NameMap a)
  
Semigroup v => Monoid (NameMap v)
  
Semigroup v => Semigroup (NameMap v)
  
Show v => Show (NameMap v)
empty : NameMap v
  Totality: total
  Visibility: export
singleton : Name -> v -> NameMap v
  Totality: total
  Visibility: export
null : NameMap v -> Bool
  Totality: total
  Visibility: export
lookup : Name -> NameMap v -> Maybe v
  Totality: total
  Visibility: export
insert : Name -> v -> NameMap v -> NameMap v
  Totality: total
  Visibility: export
insertFrom : List (Name, v) -> NameMap v -> NameMap v
  Totality: total
  Visibility: export
delete : Name -> NameMap v -> NameMap v
  Totality: total
  Visibility: export
fromList : List (Name, v) -> NameMap v
  Totality: total
  Visibility: export
toList : NameMap v -> List (Name, v)
  Totality: total
  Visibility: export
keys : NameMap v -> List Name
  Gets the Keys of the map.

  Totality: total
  Visibility: export
values : NameMap v -> List v
  Gets the values of the map. Could contain duplicates.

  Totality: total
  Visibility: export
mapWithKey : (Name -> a -> b) -> NameMap a -> NameMap b
  Totality: total
  Visibility: export
mergeWith : (v -> v -> v) -> NameMap v -> NameMap v -> NameMap v
  Merge two maps. When encountering duplicate keys, using a function to combine the values.
  Uses the ordering of the first map given.

  Totality: total
  Visibility: export
merge : Semigroup v => NameMap v -> NameMap v -> NameMap v
  Merge two maps using the Semigroup (and by extension, Monoid) operation.
  Uses mergeWith internally, so the ordering of the left map is kept.

  Totality: total
  Visibility: export
mergeLeft : NameMap v -> NameMap v -> NameMap v
  Left-biased merge, also keeps the ordering specified by the left map.

  Totality: total
  Visibility: export
filterBy : (Name -> Bool) -> NameMap v -> NameMap v
  Totality: total
  Visibility: export
filterByM : Monad m => (Name -> m Bool) -> NameMap v -> m (NameMap v)
  Totality: total
  Visibility: export
mapMaybeM : Monad m => (Name -> m (Maybe a)) -> NameMap v -> m (NameMap a)
  Totality: total
  Visibility: export
foldlNames : (acc -> Name -> v -> acc) -> acc -> NameMap v -> acc
  Totality: total
  Visibility: export