Proposal: Add conspicuously missing Functor instances for tuples

Edward Kmett ekmett at gmail.com
Wed Jan 20 16:03:33 UTC 2016


Fair enough, I missed that statement and I have no particular preference on
how high the ceiling gets raised beyond 4-5 if somebody else is willing to
write the patch. ;)

-Edward

On Wed, Jan 20, 2016 at 8:49 AM, Oliver Charles <ollie at ocharles.org.uk>
wrote:

> 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/c64d6a9b/attachment.html>


More information about the Libraries mailing list