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

[Elliot Cameron]

I can getDown with this. +1

On Sat, May 4, 2019, 4:17 AM Zemyla <zemyla at gmail.com> wrote:

> +1 from me, but the field name should be "up".
>
> On Sat, May 4, 2019, 02:29 Edward Kmett <ekmett at gmail.com> wrote:
>
>> +1 from me, with no preference between getDown and runDown
>>
>> -Edward
>>
>> On May 3, 2019, at 1:13 PM, davean <davean at xkcd.com> wrote:
>>
>> I have needed this many times.
>>
>> On Thu, May 2, 2019 at 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
>>
> _______________________________________________
> 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/20190504/42ed3f73/attachment.html>