STMContainers.Map

Documentation

data Map k v

A hash table, based on an STM-specialized hash array mapped trie.

type Key a = (Eq a, Hashable a)

A standard constraint for keys.

new :: STM (Map k v)

Construct a new map.

insert :: Key k => v -> k -> Map k v -> STM ()

Insert a value at a key.

delete :: Key k => k -> Map k v -> STM ()

Delete an item by a key.

lookup :: Key k => k -> Map k v -> STM (Maybe v)

Look up an item.

focus :: Key k => StrategyM STM v r -> k -> Map k v -> STM r

Focus on an item by a key with a strategy.

This function allows to perform composite operations in a single access to a map item. E.g., you can look up an item and delete it at the same time, or update it and return the new value.

foldM :: (a -> (k, v) -> STM a) -> a -> Map k v -> STM a

Fold all the items of a map.

null :: Map k v -> STM Bool

Check, whether the map is empty.