rfc: include bimap into Data.Either

[Andreas Abel]

-----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 <ekmett at gmail.com 
> <mailto:ekmett at 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 <haskell at ibotty.net 
> <mailto:haskell at 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 at haskell.org <mailto:Libraries at haskell.org> 
> http://www.haskell.org/__mailman/listinfo/libraries 
> <http://www.haskell.org/mailman/listinfo/libraries>
> 
> 
> 
> _______________________________________________ Libraries mailing
> list Libraries at haskell.org <mailto:Libraries at haskell.org> 
> http://www.haskell.org/mailman/listinfo/libraries
> 
> 
> 
> 
> _______________________________________________ Libraries mailing
> list Libraries at 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 at 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-----