<div dir="auto">The laws of any sensible class are an essential and integral part of it. Without them, you just have ad hoc overloading. They shouldn't be relegated to the canonical exporting module. </div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 16, 2021, 9:27 PM Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Thu, Sep 16, 2021 at 09:14:19PM -0400, David Feuer wrote:<br>
<br>
> I'm not talking about whether they're first or last. They're currently not<br>
> part of the class documentation *at all*. They're only in the<br>
> Data.Traversable documentation.<br>
<br>
I see, I think you're noting that when re-exported from Prelude, the<br>
class definitions of Foldable and Traversable that appear in the<br>
Prelude module:<br>
<br>
    <a href="https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#g:11" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#g:11</a><br>
<br>
no longer include the laws, you have to look at the underlying module<br>
to find them.  If that's the issue, I should note that the re-exported<br>
class definitions do have overview hyperlinks:<br>
<br>
    A more detailed description can be found in the overview section of<br>
    [Data.Foldable](<a href="https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Foldable.html#overview" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Foldable.html#overview</a>)<br>
<br>
    A more detailed description can be found in the overview section of<br>
    [Data.Traversable](<a href="https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Traversable.html#overview" rel="noreferrer noreferrer" target="_blank">https://hackage.haskell.org/package/base-4.15.0.0/docs/Data-Traversable.html#overview</a>)<br>
<br>
Would your issue be addressed if links to the laws were similarly linked<br>
from the class definitions?<br>
<br>
-- <br>
    Viktor.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>