Re: Adding dup to Data.Tuple?

There is precedent in the arrow literature for calling this function "dup". For example, on page 55 of this paper: http://homepages.inf.ed.ac.uk/wadler/papers/arrows-jfp/arrows-jfp.pdf -- Dan Burton On Sun, Oct 28, 2018 at 12:48 AM David Feuer wrote:

I'm not opposed. Should this be called dup or diagonal? What about larger tuples?

Side note: \x -> (x,x) = join (,)

On Sat, Oct 27, 2018, 6:03 PM Ivan Perez wrote:

...

Dear all,

The function \x -> (x,x) is very convenient when working with arrows.

Would it be appropriate to add it to Data.Tuple?

Cheers,

Ivan

_______________________________________________ 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