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

[Carter Schonwald]

+1

On Sat, May 4, 2019 at 10:08 AM Elliot Cameron <eacameron at gmail.com> wrote:

> 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
>>
> _______________________________________________
> 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/4307afe7/attachment.html>