:: Map k v -> (v -> Bool) -> Map k v package:dhall

filter :: Ord k => (a -> Bool) -> Map k a -> Map k a
dhall Dhall.Map
Keep all values that satisfy the given predicate 
>>> filter even (fromList [("C",3),("B",2),("A",1)])
fromList [("B",2)]

>>> filter odd (fromList [("C",3),("B",2),("A",1)])
fromList [("C",3),("A",1)]