Diagonally in Data.Bimap

[John Wiegley]

You've been unsubscribed from the libraries list.

John


On Thu, Jul 5, 2018, at 4:39 PM, pedro neves wrote:
> Hello All,
> 
> Can you please remove me from this e-mail string ...
> 
> I don't know how I got added ... Thank you.
> 
> On Thu, Jul 5, 2018 at 11:10 AM Joachim Breitner <mail at joachim-
> breitner.de> wrote:>> Hi
>> 
>>  Am Donnerstag, den 05.07.2018, 15:36 +0200 schrieb Gabor Greif:
>>  > Hi!
>>  > 
>>  > Just searched for a `bimap` variant that simultaneously transforms>>  > both components with the same morphism:
>>  > 
>>  > ``` haskell
>>  > diag :: Bifunctor p => (a -> b) -> p a a -> p b b
>>  > diag f = bimap f f
>>  > ```
>>  > 
>>  > I did not find any. Would it make sense to add it?
>> 
>>  possibly, I have wanted it too before.
>> 
>>  Bikeshedding:
>>  I’d have expected the name “both”. It also has precedence here:
>> http://hackage.haskell.org/package/extra/docs/Data-Tuple-Extra.html#v:both>> http://hackage.haskell.org/package/concatenative/docs/Control-Concatenative.html#v:both>> http://hackage.haskell.org/package/MissingK/docs/Control-Arrow-Extra.html#v:both>> http://hackage.haskell.org/package/lens-family/docs/Lens-Family2-Stock.html#v:both>> http://hackage.haskell.org/package/lens/docs/Control-Lens-Traversal.html#v:both>> 
>>  Diagonally sounds more like something of type `a -> (a,a)` or
>>  similar.>> 
>>  > PPS: I would have sent this to libraries at haskell.org but it seem
>>  >      to be>>  > closed group.
>> 
>>  It should not. Maybe only open to subscribers? (A common crude anti->>  spam measurement.)
>> 
>>  Cheers,
>>  Joachim
>> 
>> 
>>  -- 
>>  Joachim Breitner
>>    mail at joachim-breitner.de
>>    http://www.joachim-breitner.de/
>>  _______________________________________________
>>  Libraries mailing list
>> Libraries at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
> _________________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20180705/c4db46bd/attachment.html>