Data.HashMap

Reexports

Definitions

data HashMap : Type -> Type -> Type

Totality: total
Visibility: export
Constructors:

Empty : Hashable key => Eq key => HashMap key val

Trie : Hashable key => Eq key => HAMT key (const val) -> HashMap key val

Hints:

Functor (HashMap key)

Show key => Show val => Show (HashMap key val)

empty : Hashable key => Eq key => HashMap key val

Visibility: export

lookup : key -> HashMap key val -> Maybe val

Visibility: export

insert : key -> val -> HashMap key val -> HashMap key val

Visibility: export

delete : key -> HashMap key val -> HashMap key val

Visibility: export

foldWithKey : (k -> v -> acc -> acc) -> acc -> HashMap k v -> acc

Visibility: export

toList : HashMap k v -> List (k, v)

Visibility: export

keys : HashMap k v -> List k

Visibility: export

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

Visibility: export