Joachim Breitner

2018-07-05 15:10:19 UTC

Hi

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.

spam measurement.)

Cheers,

Joachim

Hi!

Just searched for a `bimap` variant that simultaneously transforms

``` 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.Just searched for a `bimap` variant that simultaneously transforms

``` 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?

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.

closed group.

It should not. Maybe only open to subscribers? (A common crude anti-spam measurement.)

Cheers,

Joachim

--

Joachim Breitner

***@joachim-breitner.de

http://www.joachim-breitner.de/

Joachim Breitner

***@joachim-breitner.de

http://www.joachim-breitner.de/