30 May
2001
30 May
'01
5:37 p.m.
| It could be generalized to the following (no change to the definition): | | deleteBy :: (a -> b -> Bool) -> a -> [b] -> [b]
Indeed, and
deleteFirstsBy :: (a -> b -> Bool) -> [b] -> [a] -> [b]
and intersectBy :: (a -> b -> Bool) -> [a] -> [b] -> [a]
Although curiously, its dual 'unionBy' cannot also take the more general type unionBy :: (a -> b -> Bool) -> [a] -> [b] -> [a] at least, not with its current specification in terms of 'nubBy'. Regards, Malcolm