Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data DefaultMap k v = DefMap {
- defDefault :: v
- defMap :: Map k v
- empty :: v -> DefaultMap k v
- lookup :: Ord k => k -> DefaultMap k v -> v
- fromList :: Ord k => v -> [(k, v)] -> DefaultMap k v
- keys :: DefaultMap k a -> [k]
- foldl :: (a -> b -> a) -> a -> DefaultMap k b -> a
Documentation
data DefaultMap k v Source
Defaulting Map; a Map that returns a default value when queried for a key that does not exist.
DefMap | |
|
(Eq k, Eq v) => Eq (DefaultMap k v) | |
(Ord k, Ord v) => Ord (DefaultMap k v) | |
(Ord k, Read k, Read v) => Read (DefaultMap k v) | |
(Show k, Show v) => Show (DefaultMap k v) | |
Generic (DefaultMap k v) | |
(NFData k, NFData v, Ord k) => NFData (DefaultMap k v) | |
(Ord k, Serialize k, Serialize v) => Serialize (DefaultMap k v) | |
type Rep (DefaultMap k v) |
empty :: v -> DefaultMap k v Source
Create an empty DefaultMap
lookup :: Ord k => k -> DefaultMap k v -> v Source
Query the map for a value. Returns the default if the key is not found.
fromList :: Ord k => v -> [(k, v)] -> DefaultMap k v Source
Create a DefaultMap
from a default value and a list.
keys :: DefaultMap k a -> [k] Source
Access the keys as a list.
foldl :: (a -> b -> a) -> a -> DefaultMap k b -> a Source
Fold over the values in the map.
Note that this *does* not fold
over the default value -- this fold behaves in the same way as a
standard foldl