@@ -1899,7 +1899,7 @@ difference t1 (Bin _ k _ l2 r2) = case split k t1 of
1899
1899
-- | \(O\bigl(m \log\bigl(\frac{n+1}{m+1}\bigr)\bigr), \; m \leq n\). Remove all keys in a 'Set' from a 'Map'.
1900
1900
--
1901
1901
-- @
1902
- -- m \`withoutKeys\` s = 'filterWithKey' (\k _ -> k ``Set.notMember`` s) m
1902
+ -- m \`withoutKeys\` s = 'filterWithKey' (\\ k _ -> k ``Set.notMember`` s) m
1903
1903
-- m \`withoutKeys\` s = m ``difference`` 'fromSet' (const ()) s
1904
1904
-- @
1905
1905
--
@@ -1981,7 +1981,7 @@ intersection t1@(Bin _ k x l1 r1) t2
1981
1981
-- found in a 'Set'.
1982
1982
--
1983
1983
-- @
1984
- -- m \`restrictKeys\` s = 'filterWithKey' (\k _ -> k ``Set.member`` s) m
1984
+ -- m \`restrictKeys\` s = 'filterWithKey' (\\ k _ -> k ``Set.member`` s) m
1985
1985
-- m \`restrictKeys\` s = m ``intersection`` 'fromSet' (const ()) s
1986
1986
-- @
1987
1987
--
@@ -2467,10 +2467,8 @@ filterMissing f = WhenMissing
2467
2467
-- | Filter the entries whose keys are missing from the other map
2468
2468
-- using some 'Applicative' action.
2469
2469
--
2470
- -- @
2471
- -- filterAMissing f = Merge.Lazy.traverseMaybeMissing $
2472
- -- \k x -> (\b -> guard b *> Just x) <$> f k x
2473
- -- @
2470
+ -- > filterAMissing f = Merge.Lazy.traverseMaybeMissing $
2471
+ -- > \k x -> (\b -> guard b *> Just x) <$> f k x
2474
2472
--
2475
2473
-- but this should be a little faster.
2476
2474
--
@@ -2899,7 +2897,7 @@ takeWhileAntitone p (Bin _ kx x l r)
2899
2897
--
2900
2898
-- @
2901
2899
-- dropWhileAntitone p = 'fromDistinctAscList' . 'Data.List.dropWhile' (p . fst) . 'toList'
2902
- -- dropWhileAntitone p = 'filterWithKey' (\k -> not (p k))
2900
+ -- dropWhileAntitone p = 'filterWithKey' (\\k _ -> not (p k))
2903
2901
-- @
2904
2902
--
2905
2903
-- @since 0.5.8
@@ -2916,7 +2914,7 @@ dropWhileAntitone p (Bin _ kx x l r)
2916
2914
--
2917
2915
-- @
2918
2916
-- spanAntitone p xs = ('takeWhileAntitone' p xs, 'dropWhileAntitone' p xs)
2919
- -- spanAntitone p xs = partitionWithKey (\k _ -> p k) xs
2917
+ -- spanAntitone p xs = partitionWithKey (\\ k _ -> p k) xs
2920
2918
-- @
2921
2919
--
2922
2920
-- Note: if @p@ is not actually antitone, then @spanAntitone@ will split the map
@@ -3082,7 +3080,7 @@ mapWithKey f (Bin sx kx x l r) = Bin sx kx (f kx x) (mapWithKey f l) (mapWithKey
3082
3080
#endif
3083
3081
3084
3082
-- | \(O(n)\).
3085
- -- @'traverseWithKey' f m == 'fromList' <$ > 'traverse' (\(k, v) -> (,) k <$ > f k v) ('toList' m)@
3083
+ -- @'traverseWithKey' f m == 'fromList' \<$\ > 'traverse' (\\ (k, v) -> (,) k \<$\ > f k v) ('toList' m)@
3086
3084
-- That is, behaves exactly like a regular 'traverse' except that the traversing
3087
3085
-- function also has access to the key associated with a value.
3088
3086
--
0 commit comments