Fix test and Haddock tweaks

haskell · Nov 20, 2024 · ae6b52d · ae6b52d
1 parent d5053e6
commit ae6b52d
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 8 deletions.
diff --git a/containers-tests/tests/intmap-properties.hs b/containers-tests/tests/intmap-properties.hs
@@ -1524,7 +1524,7 @@ prop_filterWithKey :: Fun (Int, Int) Bool -> IMap -> Property
 prop_filterWithKey fun m =
   valid m' .&&. toList m' === Prelude.filter (apply fun) (toList m)
   where
-    m' = filterWithKey (apply2 fun) m
+    m' = filterWithKey (applyFun2 fun) m
 
 prop_partition :: Fun Int Bool -> [(Int, Int)] -> Property
 prop_partition p ys = length ys > 0 ==>

diff --git a/containers/src/Data/IntMap/Internal.hs b/containers/src/Data/IntMap/Internal.hs
@@ -2641,12 +2641,12 @@ filter p m
 
 -- | \(O(n)\). Filter all keys that satisfy some predicate.
 --
--- > filterKeys (> 4) (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
---
 -- @
--- filterKeys p = 'filterWithKey' (\k _ -> p k)
+-- filterKeys p = 'filterWithKey' (\\k _ -> p k)
 -- @
 --
+-- > filterKeys (> 4) (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
+--
 -- @since FIXME
 
 filterKeys :: (Key -> Bool) -> IntMap a -> IntMap a

diff --git a/containers/src/Data/Map/Internal.hs b/containers/src/Data/Map/Internal.hs
@@ -2947,13 +2947,12 @@ filter p m
 
 -- | \(O(n)\). Filter all keys that satisfy the predicate.
 --
--- > filterKeys (> 4) (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
--- > filterKeys (> 4) == filterWithKey (\k _ -> k > 4)
---
 -- @
--- filterKeys p = 'filterWithKey' (\k _ -> p k)
+-- filterKeys p = 'filterWithKey' (\\k _ -> p k)
 -- @
 --
+-- > filterKeys (> 4) (fromList [(5,"a"), (3,"b")]) == singleton 5 "a"
+--
 -- @since FIXME
 
 filterKeys :: (k -> Bool) -> Map k a -> Map k a