Hydra.Dsl.Lib.Maps

Documentation

empty :: Datum (Map k v)

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

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

isEmpty :: Datum (Map k v -> Bool)

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

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

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

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

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

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

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

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

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