Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/haskell/10.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Haskell 如何从Map.Map中提取密钥？_Haskell_Functor - Fatal编程技术网
Fatal编程技术网
  • haskell/
  • Haskell 如何从Map.Map中提取密钥？

Haskell 如何从Map.Map中提取密钥？

haskell

Haskell 如何从Map.Map中提取密钥？,haskell,functor,Haskell,Functor,我希望从地图中提取所有的密钥，但我不知道如何访问这些密钥。我成功地从任何可折叠类型（如贴图）中获取了所有值，但我不确定如何访问函子中的键 getVals :: (Foldable t) => t a -> [a] getVals x = foldr (:) [] x 我如何定义这样的函数 getKeys :: (Map k a) -> [k] 使用可折叠实例无法获取地图的关键点。而是使用Data.Map.keys

我希望从地图中提取所有的密钥，但我不知道如何访问这些密钥。我成功地从任何可折叠类型（如贴图）中获取了所有值，但我不确定如何访问函子中的键

getVals :: (Foldable t) => t a -> [a]
getVals x = foldr (:) [] x
我如何定义这样的函数

getKeys :: (Map k a) -> [k]
使用可折叠实例无法获取地图的关键点。而是使用Data.Map.keys