Proposal: give a field name to Data.Ord.Down

Andrew Martin andrew.thaddeus at gmail.com
Sun May 5 18:11:02 UTC 2019


+1. I do prefer getDown as the field name, but anything is better than nothing.

Sent from my iPhone

> On May 4, 2019, at 9:49 PM, George Wilson <george at wils.online> wrote:
> 
> +1
> 
>> On Sun., 5 May 2019, 06:21 chessai ., <chessai1996 at gmail.com> wrote:
>> +1
>> 
>>> On Thu, May 2, 2019, 10:56 PM Fumiaki Kinoshita <fumiexcel at gmail.com> wrote:
>>> It's awkward to write a lambda to unwrap this kind of wrappers. I propose
>>> 
>>> newtype Down a = Down { getDown :: a }
>>> 
>>> with the Show/Read instances as if they didn't have named fields.
>>> 
>>> The same goes for Control.Arrow.ArrowMonad, although I'm not sure about its usefulness...
>>> _______________________________________________
>>> 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
> _______________________________________________
> 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/20190505/b70d0f1f/attachment.html>


More information about the Libraries mailing list