Hydra.Dsl.Lib.Maps
empty :: Datum (Map k v) Source #
fromList :: Datum ([(k, v)] -> Map k v) Source #
insert :: Datum (k -> v -> Map k v -> Map k v) Source #
isEmpty :: Datum (Map k v -> Bool) 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 #