Hydra.Lib.Maps

Haskell implementations of hydralibmaps primitives

Documentation

empty :: Map k v

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

insert :: Ord k => k -> v -> Map k v -> Map k v

isEmpty :: Map k v -> Bool

keys :: Map k v -> [k]

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

map :: (v1 -> v2) -> Map k v1 -> Map k v2

mapKeys :: (Ord k1, Ord k2) => (k1 -> k2) -> Map k1 v -> Map k2 v

remove :: Ord k => k -> Map k v -> Map k v

singleton :: k -> v -> Map k v

size :: Map k v -> Int

toList :: Map k v -> [(k, v)]

values :: Map k v -> [v]