Libraries.Data.StringMap

Definitions

data StringMap : Type -> Type

Totality: total
Visibility: export
Constructors:

Empty : StringMap v

M : (n : Nat) -> Tree n v -> StringMap v

Hints:

Functor StringMap

Semigroup v => Monoid (StringMap v)

Semigroup v => Semigroup (StringMap v)

Show v => Show (StringMap v)

empty : StringMap v

Totality: total
Visibility: export

singleton : String -> v -> StringMap v

Totality: total
Visibility: export

lookup : String -> StringMap v -> Maybe v

Totality: total
Visibility: export

insert : String -> v -> StringMap v -> StringMap v

Totality: total
Visibility: export

insertFrom : List (String, v) -> StringMap v -> StringMap v

Totality: total
Visibility: export

delete : String -> StringMap v -> StringMap v

Totality: total
Visibility: export

fromList : List (String, v) -> StringMap v

Totality: total
Visibility: export

toList : StringMap v -> List (String, v)

Totality: total
Visibility: export

keys : StringMap v -> List String

  Gets the Keys of the map.

Totality: total
Visibility: export

values : StringMap v -> List v

  Gets the values of the map. Could contain duplicates.

Totality: total
Visibility: export

sharedSupport : StringMap v -> StringMap v -> StringMap (v, v)

  Return a map of pairs of values that happen to share the same keys

Totality: total
Visibility: export

mergeWith : (v -> v -> v) -> StringMap v -> StringMap v -> StringMap 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 => StringMap v -> StringMap v -> StringMap 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 : StringMap v -> StringMap v -> StringMap v

  Left-biased merge, also keeps the ordering specified by the left map.

Totality: total
Visibility: export

adjust : String -> (v -> v) -> StringMap v -> StringMap v

Totality: total
Visibility: export