
<div style="min-height:22px;margin-bottom:8px;">I see, Thanks！</div><div style="min-height:22px;margin-bottom:8px;"><br></div><span class="mail-footer" aria-hidden="true">发自我的iPhone</span><div id="original-content"><br><br><div><div style="font-size:70%;padding:2px 0;">------------------ Original ------------------</div><div style="font-size:70%;background:#f0f0f0;color:#212121;padding:8px;border-radius:4px"><div><b>From:</b> Simon Jakobi <simon.jakobi@googlemail.com></div><div><b>Date:</b> Sat,May 25,2019 2:45 PM</div><div><b>To:</b> Dr.Koster <drkoster@qq.com></div><div><b>Cc:</b> libraries <libraries@haskell.org></div><div><b>Subject:</b> Re: Proposal: add isEmpty to Monoid</div></div></div><br><div dir="ltr">The monoid-subclasses packages provides a MonoidNull class that you could use:<div><br></div><div><a href="http://hackage.haskell.org/package/monoid-subclasses-0.4.6.1/docs/Data-Monoid-Null.html">http://hackage.haskell.org/package/monoid-subclasses-0.4.6.1/docs/Data-Monoid-Null.html</a><br></div></div><br><div class="gmail_quote"><div class="gmail_attr" dir="ltr">Am Sa., 25. Mai 2019 um 07:56 Uhr schrieb Dr.Koster <<a href="mailto:drkoster@qq.com">drkoster@qq.com</a>>:<br></div><blockquote class="gmail_quote" style="border-left-width: 1px; border-left-style: solid; border-left-color: rgb(204, 204, 204); margin: 0px 0px 0px 6.693749904632568px; padding: 14px 16px 14px 8.3671875px; color: rgb(149, 149, 149); background-color: rgb(245, 246, 250);">It's often useful to have a generalized null/unit test, e.g. to check if a monadic stream `m a` reaches EOF.  A workaround is to use `Eq a, Monoid a` constraint and use `== mempty` test. But this is no only inefficient for some type, but also impossible for some monoids, such as Builders.<div><br></div><div>I propose add this test `isEmpty :: a -> Bool` to `Monoid`, to provide the ability to check if a value is the unit value.</div><div><br></div><div>Cheers</div><div>Han Dong~</div>_______________________________________________<br>

Libraries mailing list<br>

<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>

<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>

</blockquote></div>


</div>