<div dir="ltr"><div>Hello All,</div><div><br></div><div>Can you please remove me from this e-mail string ...</div><div><br></div><div>I don't know how I got added ... Thank you.<br></div></div><br><div class="gmail_quote"><div dir="ltr">On Thu, Jul 5, 2018 at 11:10 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi<br>
<br>
Am Donnerstag, den 05.07.2018, 15:36 +0200 schrieb Gabor Greif:<br>
> Hi!<br>
> <br>
> Just searched for a `bimap` variant that simultaneously transforms<br>
> both components with the same morphism:<br>
> <br>
> ``` haskell<br>
> diag :: Bifunctor p => (a -> b) -> p a a -> p b b<br>
> diag f = bimap f f<br>
> ```<br>
> <br>
> I did not find any. Would it make sense to add it?<br>
<br>
possibly, I have wanted it too before.<br>
<br>
Bikeshedding:<br>
I’d have expected the name “both”. It also has precedence here:<br>
<a href="http://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:both" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:both</a><br>
<a href="http://hackage.haskell.org/package/concatenative/docs/Control-Concatenative.html#v:both" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/concatenative/docs/Control-Concatenative.html#v:both</a><br>
<a href="http://hackage.haskell.org/package/MissingK/docs/Control-Arrow-Extra.html#v:both" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/MissingK/docs/Control-Arrow-Extra.html#v:both</a><br>
<a href="http://hackage.haskell.org/package/lens-family/docs/Lens-Family2-Stock.html#v:both" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/lens-family/docs/Lens-Family2-Stock.html#v:both</a><br>
<a href="http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html#v:both" rel="noreferrer" target="_blank">http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html#v:both</a><br>
<br>
Diagonally sounds more like something of type `a -> (a,a)` or similar.<br>
<br>
> PPS: I would have sent this to <a href="mailto:libraries@haskell.org" target="_blank">libraries@haskell.org</a> but it seem to be<br>
> closed group.<br>
<br>
It should not. Maybe only open to subscribers? (A common crude anti-<br>
spam measurement.)<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>