| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Map type | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
type Map a b = FiniteMap a b | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
type EndoMap a = FiniteMap a a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Operators | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(!) :: Ord k => Map k a -> k -> a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(\\) :: Ord k => Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Query | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
isEmpty :: Map k a -> Bool | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
size :: Map k a -> Int | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
member :: Ord k => k -> Map k a -> Bool | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
lookup :: Ord k => k -> Map k a -> Maybe a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
find :: Ord k => k -> Map k a -> a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
findWithDefault :: Ord k => a -> k -> Map k a -> a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Construction | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
empty :: Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
single :: k -> a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Insertion | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
insert :: Ord k => k -> a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
insertWith :: Ord k => (a -> a -> a) -> k -> a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
insertWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
insertLookupWithKey :: Ord k => (k -> a -> a -> a) -> k -> a -> Map k a -> (Maybe a, Map k a) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Delete | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
delete :: Ord k => k -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Combine | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Union | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
union :: Ord k => Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
unionWith :: Ord k => (a -> a -> a) -> Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
unionWithKey :: Ord k => (k -> a -> a -> a) -> Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Difference | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
difference :: Ord k => Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Intersection | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
intersection :: Ord k => Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
intersectionWith :: Ord k => (a -> a -> a) -> Map k a -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Traversal | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Map | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
map :: (a -> b) -> Map k a -> Map k b | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
mapWithKey :: (k -> a -> b) -> Map k a -> Map k b | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Fold | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
fold :: (a -> b -> b) -> b -> Map k a -> b | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
foldWithKey :: (k -> a -> b -> b) -> b -> Map k a -> b | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Conversion | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
elems :: Map k a -> [a] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
keys :: Map k a -> [k] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
assocs :: Map k a -> [(k, a)] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lists | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
toList :: Map k a -> [(k, a)] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
fromList :: Ord k => [(k, a)] -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Ordered lists | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
toAscList :: Map k a -> [(k, a)] | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
fromAscList :: Ord k => [(k, a)] -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
fromDistinctAscList :: Ord k => [(k, a)] -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Filter | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
filter :: Ord k => (a -> Bool) -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
filterWithKey :: Ord k => (k -> a -> Bool) -> Map k a -> Map k a | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 0.6 |