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

Hydra.Dsl.Lib.Maps

Documentation

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

insert :: Datum (k -> v -> Map k v -> Map k v) Source #

keys :: Datum (Map k v -> [k]) Source #

lookup :: Datum (k -> Map k v -> Maybe v) Source #

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

mapKeys :: Datum ((k1 -> k2) -> Map k1 v -> Map k2 v) Source #

remove :: Datum (k -> Map k v -> Map k v) Source #

singleton :: Datum (k -> v -> Map k v) Source #

size :: Datum (Map k v -> Int) Source #

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

values :: Datum (Map k v -> [v]) Source #