Proposal: Add conspicuously missing Functor instances for tuples

Oliver Charles ollie at ocharles.org.uk
Wed Jan 20 13:49:52 UTC 2016


Right, and people here are talking about adding Functor for up to
15-tuples, unless I misread.

On Wed, Jan 20, 2016 at 1:07 PM Edward Kmett <ekmett at gmail.com> wrote:

> On Wed, Jan 20, 2016 at 7:50 AM, Oliver Charles <ollie at ocharles.org.uk>
> wrote:
>
>> I'm not sure I even want to propose this, but if you're going to make it
>> consistent for all tuples, should you also make Bifunctor consistent for
>> all tuples?
>>
>
> The Bifunctor instances are already defined out to 7-tuples or so.
>
> -Edward
>
>
>> On Wed, Jan 20, 2016 at 12:48 PM Alexander Berntsen <alexander at plaimi.net>
>> wrote:
>>
>>> -----BEGIN PGP SIGNED MESSAGE-----
>>> Hash: SHA512
>>>
>>> On 19/01/16 21:54, Alois Cochard wrote:
>>> > I'm in favor of this proposal for consistency sake.
>>> As am I. Inconsistency seems like laziness at best, and poorly thought
>>> through at worst.
>>>
>>> - --
>>> Alexander
>>> alexander at plaimi.net
>>> https://secure.plaimi.net/~alexander
>>> -----BEGIN PGP SIGNATURE-----
>>> Version: GnuPG v2
>>>
>>> iQIcBAEBCgAGBQJWn4IFAAoJENQqWdRUGk8Bbs4P/RVit2hXVpWn6AaK+zgA8KOA
>>> pHyzK93KY+ASLbaWEzsMYwtoreYY1/Rd+xby1St35QGiJm6gEr+LME2LWfWITOur
>>> GlPrAWUps/TqipA49JioVKMMOwqub6mcVXisLZt8DGe84pZNarzZXUBh5FGblkGm
>>> tZg2tsNT9QEUjodAVi0yf1P+wHNaDz9XaX8/upKMYjkW4tZyeldMky+HBvwBJ8XM
>>> feQ3tOTK5dgHPM0ssmUIAVIlL1z0VUmJ6skSNBfQotkCnQRE3uHFagXsCPMGe7gV
>>> 9jvLJ1ZHLXFWdS3KtT2UMUzmdQPmygwWCc9jOWZsJr4ndoKBKYConmmYs+Vzvy2x
>>> xKqDrHVuKOcEgOOkTHSdXnsw6Wdjs0N9Vw5mc+zFeymf9NoWJeqgijKfInS+jR0b
>>> yNYYoVILFY22ISua89dRws0+Ky9gCWkKIbu/+uCteFlXoMv3j60LnmUuoZ3kY+bp
>>> H5+c4v3sEObjItbYsRLEo6KiACC1I1bhFJm16+XipAgY0N31R4R9Hr6sCo+yWa2l
>>> 9bNJn8KJ/p9N2JZMRUzo2KVwet9VpGq9PP90DDuwf+Nz3xYttWGIUFRgec7OzmHo
>>> lYfUWqAtbOP0XguprV2fbxb9Ye3JF0RdqlVoRJCtAlppEkqmu0w8NEt3Uye+ZTkq
>>> 2FQ1Dqbh8LiC9dZXNuSD
>>> =Cep6
>>> -----END PGP SIGNATURE-----
>>> _______________________________________________
>>> Libraries mailing list
>>> Libraries at haskell.org
>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>>
>>
>> _______________________________________________
>> Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>>
>>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20160120/be767d1a/attachment-0001.html>


More information about the Libraries mailing list