On Wed, May 30, 2001 at 09:46:53AM -0700, Simon Peyton-Jones wrote:
> | Sorry to get this comment in so late, but it is a small 
> | change. In the List module, the type signature for deleteBy 
> | is not as general as it could be, given the definition.  It 
> | could be generalized to the following (no change to the definition):
> | 
> |   deleteBy :: (a -> b -> Bool) -> a -> [b] -> [b]
> | 
> | I've found it usefully used at this more general type.
> 
> Indeed, and 
> 
>    deleteFirstsBy :: (a -> b -> Bool) -> [b] -> [a] -> [b]

and

     intersectBy :: (a -> b -> Bool) -> [a] -> [b] -> [a]

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to