If you make the proposal, i'll happily +1 it ;)<br><br><div class="gmail_quote">On Mon, Dec 10, 2012 at 5:07 PM, Mario Blažević <span dir="ltr"><<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 12-12-10 04:51 PM, Edward Kmett wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The problem with Data.Functor.Sum is that Data.Monoid exports Sum. While<br>
I don't think we should try to globally avoid all conflicts, I don't<br>
think we should go out of our way to pick up a conflict we don't have to<br>
have.<br>
</blockquote>
<br></div>
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.<br>
<br>
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?<br>
<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
<br>
On Mon, Dec 10, 2012 at 4:38 PM, Mario Blažević <<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a><br></div><div class="im">
<mailto:<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a>>> wrote:<br>
<br>
On 12-12-10 01:57 PM, Edward Kmett wrote:<br>
<br>
There is Data.Functor.Coproduct in comonad-transformers<br></div>
(<a href="http://hackage.haskell.org/__packages/archive/comonad-__transformers/3.0/doc/html/__Data-Functor-Coproduct.html" target="_blank">http://hackage.haskell.org/__<u></u>packages/archive/comonad-__<u></u>transformers/3.0/doc/html/__<u></u>Data-Functor-Coproduct.html</a><br>
<<a href="http://hackage.haskell.org/packages/archive/comonad-transformers/3.0/doc/html/Data-Functor-Coproduct.html" target="_blank">http://hackage.haskell.org/<u></u>packages/archive/comonad-<u></u>transformers/3.0/doc/html/<u></u>Data-Functor-Coproduct.html</a>>)<div class="im">
<br>
which could be moved.<br>
<br>
I never really liked having it in the comonad-transformers<br>
package anyways.<br>
<br>
<br>
There is also Cgm.Data.Functor.Sum in cognimeta-utils,<br>
though it doesn't come with a Functor instance for some reason. I<br>
think I prefer Data.Functor.Sum to Data.Functor.Coproduct. There may<br>
be more occurrences in Hackage, hiding under less obious names.<br>
<br>
I presume this addition to Transformers would require a new<br>
proposal?<br>
<br>
<br>
</div></blockquote><span class="HOEnZb"><font color="#888888">
<br>
<br>
-- <br>
Mario Blazevic<br>
<a href="mailto:mblazevic@stilo.com" target="_blank">mblazevic@stilo.com</a><br>
Stilo International<br>
<br>
This message, including any attachments, is for the sole use of the<br>
intended recipient(s) and may contain confidential and privileged<br>
information. Any unauthorized review, use, disclosure, copying, or<br>
distribution is strictly prohibited. If you are not the intended<br>
recipient(s) please contact the sender by reply email and destroy<br>
all copies of the original message and any attachments.<br>
</font></span></blockquote></div><br>