Proposal: add 'equating' function to Data.List

Alexander Berntsen alexander at plaimi.net
Sat Jul 19 10:54:56 UTC 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

- -1 because I'm not convinced this belongs in Data.List. comparing is
in Data.Ord and is:

Data.Ord comparing :: Ord a => (b -> a) -> b -> b -> Ordering

So equating should be in Data.Eq, with:

equating :: Eq a => (b -> a) -> b -> b -> Bool

Furthermore I do not like your definition, and would prefer:

equating p x y = (p x) == (p y)


With these issues amended, I'm 0 on the proposal.
- -- 
Alexander
alexander at plaimi.net
https://secure.plaimi.net/~alexander
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iF4EAREIAAYFAlPKToAACgkQRtClrXBQc7X59AD9GjgcSZnFPxMY1jJLt5KFP/PI
/StXr9g6igtoFqTigJ8BALGhPgy63dY1jXoKxrUoGaS9FgRX6ZM7SklGsDiEKn7h
=usCs
-----END PGP SIGNATURE-----


More information about the Libraries mailing list