On Mon, Apr 21, 2014 at 9:01 PM, João Cristóvão <jmacristovao@gmail.com> wrote:

Proposal 0:
----------------

Do nothing

Seeing as this has come up a bunch of times, -1 - as we clearly need to do something. 

Proposal 1:
----------------
Add no new code, but document Data.Either to mention how to use `left` and (+++) from Control.Arrow

+1

 

Proposal 2:
----------------
Document Control.Arrow to exemplify the (->) instance usage.

More examples is in general a good idea - I see no harm in this. +1

 

Proposal 3:
----------------

Proposal 4:
----------------

 

Proposal 5:
----------------

== Proposal 4, using the mapEither name instead.

 

Indifferent on these.  

 

Proposal 6:
----------------

Implement mapRight in Data.Either

6a) ... as (b -> c) -> Either a b -> Either a c
6b) ... as fmap

-1 on this, as we don't have 'mapJust' and Functor is hardly an esoteric type class.

 

Proposal 7:
----------------

Don't implement mapRight, but include documentation in Data.Either stating that it is just fmap.

Again, more documentation is almost always a good thing. +1

 

Proposal 8:
----------------

Bring bifunctors to base.

-1, and seems at ends with the split base proposals. I don't see much value in growing base a whole lot more. I'm probably opening a whole 'nother can of worms. Apologies ;)

- ocharles

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