Proposal: merge either into transformers

[Edward Kmett]

If you make the proposal, i'll happily +1 it ;)

On Mon, Dec 10, 2012 at 5:07 PM, Mario Blažević <mblazevic at stilo.com> 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ć <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>
>>         <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.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/libraries/attachments/20121210/f30d7ed0/attachment.htm>