如何從Haskell Map中刪除所有與它們的值不匹配的條件匹配的元素？

Question

我想從一個Data.Map匹配特定的條件下，其刪除所有元素。說foobar是這個功能，這是他需要的行爲：

foobar :: (a -> Bool) -> Map k a -> Map k a 
foobar (>= 20) $ fromList [("john",3),("sasha",8),("mary",33),("philip",20)] 
-- the expected result is fromList [("john",3),("sasha",8)] 

感謝您的任何答覆！

Answer 1

Data.Map.filter

在未來，你可以使用Hoogle回答這些問題。

Answer 2

你有所需類型的簽名，但你不知道是否有這樣的功能。這一問題的解決方案是使用Hoogle，Haskell的API的搜索引擎，它可以讓您通過型搜索功能。

例如，如果enter (a -> Bool) -> Map k a -> Map k a into Hoogle，最高結果爲Data.Map.filter，這正是您在此情況下需要的結果。

這也是在歸納還算不錯，所以即使類型不完全匹配，你仍然有可能找到的東西，會在上面幾場比賽的工作。

所以，你正在尋找一個功能，下一次，試試先hoogling吧！