Libraries.Data.UserNameMap

Definitions

data UserNameMap : Type -> Type

Totality: total
Visibility: export
Constructors:

Empty : UserNameMap v

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

Hints:

Functor UserNameMap

Semigroup v => Monoid (UserNameMap v)

Semigroup v => Semigroup (UserNameMap v)

Show v => Show (UserNameMap v)

empty : UserNameMap v

Totality: total
Visibility: export

singleton : UserName -> v -> UserNameMap v

Totality: total
Visibility: export

lookup : UserName -> UserNameMap v -> Maybe v

Totality: total
Visibility: export

lookupName : Name -> UserNameMap v -> Maybe v

Totality: total
Visibility: export

insert : UserName -> v -> UserNameMap v -> UserNameMap v

Totality: total
Visibility: export

insertFrom : List (UserName, v) -> UserNameMap v -> UserNameMap v

Totality: total
Visibility: export

delete : UserName -> UserNameMap v -> UserNameMap v

Totality: total
Visibility: export

fromList : List (UserName, v) -> UserNameMap v

Totality: total
Visibility: export

toList : UserNameMap v -> List (UserName, v)

Totality: total
Visibility: export

keys : UserNameMap v -> List UserName

  Gets the Keys of the map.

Totality: total
Visibility: export

values : UserNameMap v -> List v

  Gets the values of the map. Could contain duplicates.

Totality: total
Visibility: export

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

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

Totality: total
Visibility: export

adjust : UserName -> (v -> v) -> UserNameMap v -> UserNameMap v

Totality: total
Visibility: export