Data.Map.Lazier

A Map that can be created from lazy, ordered, infinite lists. Based on LazySet.

Types

type Map k e = LazySet (MapEntry k e)

A mapping of type k to type e.

Query

member :: Ord k => k -> Map k e -> Bool

Check if a key exists in this Map.

lookup :: Ord k => k -> Map k e -> Maybe e

Return the value of a given key or Nothing

Creation

fromList :: Ord k => [(k, e)] -> Map k e

Create a new Map from a list of tuples. The list must be sorted by key ascending.