Proposal: add 'equating' function to Data.List

Alexander Berntsen alexander at plaimi.net
Sat Jul 19 12:50:46 UTC 2014


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

On 19/07/14 14:44, Edward Kmett wrote:

OK, you have me convinced. You should put these thresholds of yours on
the GHC Wiki or something. ;-)


I suggest:
equating :: Eq a => (b -> a) -> b -> b -> Bool
equating p x y = (p x) == (p y)

in Data.Eq, exposing it with

module Data.Eq (
   Eq(..),
 ) where

If this sounds good I can write a patch for it, test it & upload it to
phab to have it built & reviewed by austin and you. :-)
- -- 
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/

iF4EAREIAAYFAlPKaaYACgkQRtClrXBQc7WyVQD8DjS2IDOakab786kWPP8CJZxU
pAJDC90Fu4mtyOvYHGMA+wbKUBXSRgObToeJV0YJiYhWpXyTYw+InAJHRahApu3X
=5zNd
-----END PGP SIGNATURE-----


More information about the Libraries mailing list