Data.List.Map

Definitions

record ListMap : Type -> Type -> Type

Totality: total
Visibility: public export
Constructor: 

MkListMap : Eq k => List (k, v) -> ListMap k v

Projections:

.eq : ListMap k v -> Eq k

.kvList : ListMap k v -> List (k, v)

Hints:

Foldable (ListMap k)

Functor (ListMap k)

(Ord k, Semigroup v) => Monoid (ListMap k v)

Semigroup v => Semigroup (ListMap k v)

(Show k, Show v) => Show (ListMap k v)

Traversable (ListMap k)

.eq : ListMap k v -> Eq k

Totality: total
Visibility: public export

eq : ListMap k v -> Eq k

Totality: total
Visibility: public export

.kvList : ListMap k v -> List (k, v)

Totality: total
Visibility: public export

kvList : ListMap k v -> List (k, v)

Totality: total
Visibility: public export

empty : Eq k => ListMap k v

Totality: total
Visibility: export

lookup : k -> ListMap k v -> Maybe v

Totality: total
Visibility: export

lookup' : ListMap k v -> k -> Maybe v

Totality: total
Visibility: public export

insert : k -> v -> ListMap k v -> ListMap k v

Totality: total
Visibility: export

insertWith : (v -> v -> v) -> k -> v -> ListMap k v -> ListMap k v

  Inserts a key value pair into a map and merges duplicated values
  with the given function.

Totality: total
Visibility: export

insert' : ListMap k v -> (k, v) -> ListMap k v

Totality: total
Visibility: public export

insertFrom : Foldable f => f (k, v) -> ListMap k v -> ListMap k v

Totality: total
Visibility: export

insertFrom' : Foldable f => ListMap k v -> f (k, v) -> ListMap k v

Totality: total
Visibility: public export

insertFromWith : Foldable f => (v -> v -> v) -> f (k, v) -> ListMap k v -> ListMap k v

  Inserts any foldable of a key value pair into a map and merges duplicated
  values with the given function.

Totality: total
Visibility: export

singleton : Eq k => k -> v -> ListMap k v

Totality: total
Visibility: export

updateExisting : (v -> v) -> k -> ListMap k v -> ListMap k v

  Updates existing value, if it is present, and does nothing otherwise
  
  The current implementation performs up to two traversals of the original map

Totality: total
Visibility: export

updateExisting' : ListMap k v -> (v -> v) -> k -> ListMap k v

Totality: total
Visibility: public export

fromList : Eq k => List (k, v) -> ListMap k v

Totality: total
Visibility: public export

rawKeys : ListMap k v -> List k

  Returns the keys from the underlying list of key–value pairs
  without removing duplicates or normalising the order.

Totality: total
Visibility: public export

rawValues : ListMap k v -> List v

  Returns the values from the underlying list of key–value pairs
  in their original order, without any normalisation.

Totality: total
Visibility: public export

normalise : ListMap k v -> ListMap k v

Totality: total
Visibility: export

keys : ListMap k v -> List k

  Gets the keys of the map.

Totality: total
Visibility: export

keySet : ListMap k v -> ListSet k

Totality: total
Visibility: export

values : ListMap k v -> List v

  Gets the values of the map. Could contain duplicates.

Totality: total
Visibility: public export

mapWithKey : (k -> a -> b) -> ListMap k a -> ListMap k b

Totality: total
Visibility: export

mapWithKey' : ListMap k a -> (k -> a -> b) -> ListMap k b

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

toSortedMap : Ord k => ListMap k v -> SortedMap k v

Totality: total
Visibility: public export