Proposal: merge either into transformers

[Mario Blažević]

On 12-12-10 04:51 PM, Edward Kmett wrote:
> The problem with Data.Functor.Sum is that Data.Monoid exports Sum. While
> I don't think we should try to globally avoid all conflicts, I don't
> think we should go out of our way to pick up a conflict we don't have to
> have.

	Both Data.Monoid and Data.Functor.Product export a type named Product. 
I guess you could argue that there was no choice in case of Product, 
while Sum can be called a Coproduct.

	That being said, I don't care what the name is as long as it's 
available from the transforms package. Do you want to push the proposal?


>
> On Mon, Dec 10, 2012 at 4:38 PM, Mario Blažević <mblazevic at stilo.com
> <mailto:mblazevic at stilo.com>> wrote:
>
>     On 12-12-10 01:57 PM, Edward Kmett wrote:
>
>         There is Data.Functor.Coproduct in comonad-transformers
>         (http://hackage.haskell.org/__packages/archive/comonad-__transformers/3.0/doc/html/__Data-Functor-Coproduct.html
>         <http://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/html/Data-Functor-Coproduct.html>)
>         which could be moved.
>
>         I never really liked having it in the comonad-transformers
>         package anyways.
>
>
>              There is also Cgm.Data.Functor.Sum in cognimeta-utils,
>     though it doesn't come with a Functor instance for some reason. I
>     think I prefer Data.Functor.Sum to Data.Functor.Coproduct. There may
>     be more occurrences in Hackage, hiding under less obious names.
>
>              I presume this addition to Transformers would require a new
>     proposal?
>
>


-- 
Mario Blazevic
mblazevic at stilo.com
Stilo International

This message, including any attachments, is for the sole use of the
intended recipient(s) and may contain confidential and privileged
information. Any unauthorized review, use, disclosure, copying, or
distribution is strictly prohibited. If you are not the intended
recipient(s) please contact the sender by reply email and destroy
all copies of the original message and any attachments.