Data.DefaultMap

Documentation

data DefaultMap k v

Defaulting Map; a Map that returns a default value when queried for a key that does not exist.

Constructors

DefMap

Fields

defDefault :: v

defMap :: Map k v

Instances

(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)

(Arbitrary k, Arbitrary v, Ord k) => Arbitrary (DefaultMap k v)

(Ord k, Serialize k, Serialize v) => Serialize (DefaultMap k v)

(NFData k, NFData v, Ord k) => NFData (DefaultMap k v)

type Rep (DefaultMap k v)

empty :: v -> DefaultMap k v

Create an empty DefaultMap

lookup :: Ord k => k -> DefaultMap k v -> v

Query the map for a value. Returns the default if the key is not found.

fromList :: Ord k => v -> [(k, v)] -> DefaultMap k v

Create a DefaultMap from a default value and a list.

keys :: DefaultMap k a -> [k]

Access the keys as a list.

foldl :: (a -> b -> a) -> a -> DefaultMap k b -> a

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