<!DOCTYPE html>
<html>
<head>
<title></title>
<style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style>
</head>
<body><div>You've been unsubscribed from the libraries list.<br></div>
<div><br></div>
<div>John<br></div>
<div><br></div>
<div><br></div>
<div>On Thu, Jul 5, 2018, at 4:39 PM, pedro neves wrote:<br></div>
<blockquote type="cite"><div dir="ltr"><div>Hello All,<br></div>
<div><br></div>
<div>Can you please remove me from this e-mail string ...<br></div>
<div><br></div>
<div>I don't know how I got added ... Thank you.<br></div>
</div>
<div><br></div>
<div defang_data-gmailquote="yes"><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 defang_data-gmailquote="yes" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-color:rgb(204, 204, 204);border-left-style:solid;border-left-width:1px;padding-left:1ex;"><div>Hi<br></div>
<div> <br></div>
<div> Am Donnerstag, den 05.07.2018, 15:36 +0200 schrieb Gabor Greif:<br></div>
<div> > Hi!<br></div>
<div> > <br></div>
<div> > Just searched for a `bimap` variant that simultaneously transforms<br></div>
<div> > both components with the same morphism:<br></div>
<div> > <br></div>
<div> > ``` haskell<br></div>
<div> > diag :: Bifunctor p => (a -> b) -> p a a -> p b b<br></div>
<div> > diag f = bimap f f<br></div>
<div> > ```<br></div>
<div> > <br></div>
<div> > I did not find any. Would it make sense to add it?<br></div>
<div> <br></div>
<div> possibly, I have wanted it too before.<br></div>
<div> <br></div>
<div> Bikeshedding:<br></div>
<div> I’d have expected the name “both”. It also has precedence here:<br></div>
<div> <a href="http://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:both">http://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:both</a><br></div>
<div> <a href="http://hackage.haskell.org/package/concatenative/docs/Control-Concatenative.html#v:both">http://hackage.haskell.org/package/concatenative/docs/Control-Concatenative.html#v:both</a><br></div>
<div> <a href="http://hackage.haskell.org/package/MissingK/docs/Control-Arrow-Extra.html#v:both">http://hackage.haskell.org/package/MissingK/docs/Control-Arrow-Extra.html#v:both</a><br></div>
<div> <a href="http://hackage.haskell.org/package/lens-family/docs/Lens-Family2-Stock.html#v:both">http://hackage.haskell.org/package/lens-family/docs/Lens-Family2-Stock.html#v:both</a><br></div>
<div> <a href="http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html#v:both">http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html#v:both</a><br></div>
<div> <br></div>
<div> Diagonally sounds more like something of type `a -> (a,a)` or similar.<br></div>
<div> <br></div>
<div> > PPS: I would have sent this to <a href="mailto:libraries@haskell.org">libraries@haskell.org</a> but it seem to be<br></div>
<div> > closed group.<br></div>
<div> <br></div>
<div> It should not. Maybe only open to subscribers? (A common crude anti-<br></div>
<div> spam measurement.)<br></div>
<div> <br></div>
<div> Cheers,<br></div>
<div> Joachim<br></div>
<div> <br></div>
<div> <br></div>
<div> -- <br></div>
<div> Joachim Breitner<br></div>
<div> <a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a><br></div>
<div> <a href="http://www.joachim-breitner.de/">http://www.joachim-breitner.de/</a><br></div>
<div> _______________________________________________<br></div>
<div> Libraries mailing list<br></div>
<div> <a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br></div>
<div> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></div>
</blockquote></div>
<div><u>_______________________________________________</u><br></div>
<div>Libraries mailing list<br></div>
<div><a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br></div>
<div><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br></div>
</blockquote></body>
</html>