+1 from me, but the field name should be "up".

On Sat, May 4, 2019, 02:29 Edward Kmett <ekmett@gmail.com> wrote:

+1 from me, with no preference between getDown and runDown

-Edward

On May 3, 2019, at 1:13 PM, davean <davean@xkcd.com> wrote:

I have needed this many times.

On Thu, May 2, 2019 at 10:56 PM Fumiaki Kinoshita <fumiexcel@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@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries