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

[Zemyla]

+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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190504/afbf0344/attachment.html>