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

[Edward Kmett]

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