Re: rfc: include bimap into Data.Either

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 20.04.2014 07:16, João Cristóvão wrote:

...

given arrowchoice, i withdraw my proposal. thank you for pointing me there.

Please don't.

+1 Stuff like this belongs in Data.Either, not in Control.Arrow. We had the same issue for Data.Tuple vs. Control.Arrow a while ago.

While I agree that duplication is undesirable, I urge you all to consider the begginers and even intermediate haskeller point of view.

A search on hoogle will reveal nothing. A search on hayoo will reveal Data.Either.Combinators, but most users are not even aware of hoogle.

They will probably just google either and end up in Data.Either.

In Data.Either there is _absolutely_ no way to reach the Arrow combinators. And even if the user somewhat finds Arrows, in an unrelated search, he will also not see the Either use case.

I would even argue that the Arrow abstraction is something that is in a totally different level than such a simple type as Either, and most haskellers will only use (arrows) much further ahead, but I agree this is highly arguable.

So:

...

It may be worth adding documentation to Arrow about what they mean

Not only to arrows, please: this documentation is needed _on Data.Either_, which is where most users, I believe, would search for such a funcion.

Thanks João

2014-04-19 15:50 GMT+01:00 Edward Kmett mailto:ekmett@gmail.com>:

-1 from me for the reason Herbert already stated: They are generalized by existing combinators already in base.

It may be worth adding documentation to Arrow about what they mean, but that of course doesn't help users trying to find them via hoogle.

-Edward

On Sat, Apr 19, 2014 at 7:06 AM, Tobias Florek mailto:haskell@ibotty.net> wrote:

You may turn it into a proposal for Hoogle. :-) For the type of mapLeft Hoogle lists only irrelevant results on the first page and for the type of bimap it does not list a result, at all.

yeah i checked there. unfortunately it's not as easy to improve hoogle...

regards, tobias florek

_________________________________________________ Libraries mailing list Libraries@haskell.org mailto:Libraries@haskell.org http://www.haskell.org/__mailman/listinfo/libraries http://www.haskell.org/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org mailto:Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries

_______________________________________________ Libraries mailing list Libraries@haskell.org http://www.haskell.org/mailman/listinfo/libraries

- -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel@gu.se http://www2.tcs.ifi.lmu.de/~abel/ -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iEYEARECAAYFAlNTvY4ACgkQPMHaDxpUpLMvMQCcCUYG6+Q/S5+Pn1hB48D8Znhe 5X8AnRLH3IIi2h+qVzoPAAb944w7tRQ1 =oGkn -----END PGP SIGNATURE-----