Is there a function \x -> (x, x) in standard libraries?

Ignat Insarov kindaro at
Tue Jul 16 15:57:57 UTC 2019


I wonder if there is a function like \x -> (x, x) in the standard libraries.

I looked up in Hoogle. It gave me links:


None of these is to the standard library. I wonder if there is an
intentional omission for some important reason? If not, I think this
function should be added to Data.Tuple.

I know some of the persons that make decisions here like Category
theory, so I point out this function is mentioned in Categories for
the Working Mathematician, as δ, the diagonal function, on page 3
(second edition), although set with angular brackets.

Have a great day.

More information about the Libraries mailing list