<div dir="ltr"><div>Jeremy,<br><br></div><div>Do you propose:<br></div><div><br>Monoid a => Monoid (Maybe a)<br><br></div><div>be changed to:<br><br>Semigroup a => Monoid (Maybe a)<br><br></div><div>as the documentation indicates?<br><br></div><div>+1, but I think there are some technicalities that I think would benefit from a more concrete proposal including as a patch or hackage analysis.<br></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Mar 29, 2015 at 8:16 PM, M Farkas-Dyck <span dir="ltr"><<a href="mailto:strake888@gmail.com" target="_blank">strake888@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 29/03/2015 at 05:20:33 -0700, Jeremy wrote:<br>
> 1. GHC 7.12 will include Semigroup and NonEmpty in base.<br>
<br>
</span>+1 for Semigroup at least.<br>
<br>
NonEmpty is simply the cofree comonad of Maybe, so I think we ought to define it either as such or to be compatibly redefinitile as such, e.g.<br>
<br>
now:<br>
data NonEmpty a = a .: Maybe (NonEmpty a)<br>
<br>
so potentially later:<br>
data Cofree f a = a .: f (Cofree f a)<br>
type NonEmpty = Cofree Maybe<br>
<br>
as otherwise we shall have various code using nonsame isomorphic types which one must convert or coerce between for no good reason.<br>
<br>
+1 for NonEmpty if so defined, -1 otherwise.<br>
<span class=""><br>
> 2. GHC >7.12 will define Monoid as a subclass of Semigroup.<br>
<br>
</span>+1<br>
<span class="im HOEnZb"><br>
On 29/03/2015 at 11:23:19 -0400, David Feuer wrote:<br>
> I guess I should get a dog in the fight—I think <> should be the Semigroup method.<br>
<br>
+1<br>
</span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Love in Jesus Christ, John Alfred Nathanael Chee<br><a href="http://www.biblegateway.com/" target="_blank">http://www.biblegateway.com/</a><br><a href="http://web.cecs.pdx.edu/~chee/" target="_blank">http://web.cecs.pdx.edu/~chee/</a></div>
</div>