hydra-0.5.1: Type-aware transformations for data and programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Lib.Maps

Description

Haskell implementations of hydralibmaps primitives

Documentation

empty :: Map k v Source #

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

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

isEmpty :: Map k v -> Bool Source #

keys :: Map k v -> [k] Source #

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

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

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

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

singleton :: k -> v -> Map k v Source #

size :: Map k v -> Int Source #

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

values :: Map k v -> [v] Source #