如何从Map.Map提取键？

Question

我希望从地图中提取所有密钥，但是我不知道如何访问这些密钥。我已经成功地从诸如Maps之类的所有可折叠类型中获取了所有值，但是我不确定如何访问函子内部的键。

getVals :: (Foldable t) => t a -> [a]
getVals x = foldr (:) [] x

如何定义这样的功能？

getKeys :: (Map k a) -> [k]

Answer 1

您无法通过其Map实例获得Foldable的键。而是使用Data.Map.keys。