Alistair, I agree with Mike Gunter on this one. -- P
> Mike Gunter writes:
>The By functions in the 1.3 PreludeList (elemBy, deleteBy, etc.)
>all take ``equality'' predicates with type a -> a -> Bool. Most of
>these functions (with no change in definition that I see in a quick
Mike Gunter writes:
The By functions in the 1.3 PreludeList (elemBy, deleteBy, etc.)
all take ``equality'' predicates with type a -> a -> Bool. Most of
these functions (with no change in definition that I see in a quick
check) could take predicates with type a -> b > Bool (with
The By functions in the 1.3 PreludeList (elemBy, deleteBy, etc.)
all take ``equality'' predicates with type a -> a -> Bool. Most of
these functions (with no change in definition that I see in a quick
check) could take predicates with type a -> b > Bool (with a
corresponding change in the ty