System.Mem.StableName.Map

Documentation

data Map f

empty :: Map f

null :: Map f -> Bool

singleton :: StableName a -> f a -> Map f

member :: StableName a -> Map f -> Bool

notMember :: StableName a -> Map f -> Bool

insert :: StableName a -> f a -> Map f -> Map f

insertWith :: (f a -> f a -> f a) -> StableName a -> f a -> Map f -> Map f

O(log n). Insert with a function for combining the new value and old value. insertWith f key value mp will insert the pair (key, value) into mp if the key does not exist in the map. If the key does exist, the function will insert the pair (key, f new_value old_value)

insertWith' :: (f a -> f a -> f a) -> StableName a -> f a -> Map f -> Map f

Same as insertWith, but with the combining function applied strictly.

adjust :: (f a -> f a) -> StableName a -> Map f -> Map f

lookup :: StableName a -> Map f -> Maybe (f a)

O(log n). Lookup the value at a key in the map.

The function will return the corresponding value as a (Just value) or Nothing if the key isn't in the map.

find :: StableName a -> Map f -> f a

findWithDefault :: f a -> StableName a -> Map f -> f a

O(log n). The expression (findWithDefault def k map) returns the value at key k or returns the default value def when the key is not in the map.