Proposal: Export Solo from Data.Tuple

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
3 messages Options
Reply | Threaded
Open this post in threaded view
|

Proposal: Export Solo from Data.Tuple

David Feuer
GHC.Tuple now exports

    data Solo a = Solo a

for use as the canonical lifted unary tuple. I propose to export it
from Data.Tuple.

David
_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Export Solo from Data.Tuple

chessai .
+1

On Wed, Dec 30, 2020, 12:32 David Feuer <[hidden email]> wrote:
GHC.Tuple now exports

    data Solo a = Solo a

for use as the canonical lifted unary tuple. I propose to export it
from Data.Tuple.

David
_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Export Solo from Data.Tuple

George Wilson
+1

On Thu, 31 Dec 2020 at 04:58, chessai <[hidden email]> wrote:

>
> +1
>
> On Wed, Dec 30, 2020, 12:32 David Feuer <[hidden email]> wrote:
>>
>> GHC.Tuple now exports
>>
>>     data Solo a = Solo a
>>
>> for use as the canonical lifted unary tuple. I propose to export it
>> from Data.Tuple.
>>
>> David
>> _______________________________________________
>> Libraries mailing list
>> [hidden email]
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
> _______________________________________________
> Libraries mailing list
> [hidden email]
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
_______________________________________________
Libraries mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries