Re: Proposal: merge either into transformers

If you make the proposal, i'll happily +1 it ;) On Mon, Dec 10, 2012 at 5:07 PM, Mario Blažević wrote:

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ć mailto:mblazevic@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.htmlhttp://hackage.haskell.org/__packages/archive/comonad-__transformers/3.0/doc... <http://hackage.haskell.org/**packages/archive/comonad-** transformers/3.0/doc/html/**Data-Functor-Coproduct.htmlhttp://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/htm...

...

)

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@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.