Hydra.Dsl.Lib.Maps

Documentation

empty :: TTerm (Map k v)

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

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

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

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

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

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

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

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

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

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

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

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