<div dir="ltr"><div>I personally like it if the documentation of re-exported classes just contain a summary, much like Data.Foldable does. The prelude documentation is quite long already. I would not object to making the links stand out a bit more though: a title 'More detailed descriptions' with a bulleted summary to 'laws' might do that.</div><div>On where the laws need to be: I think for foldable the right decision is made, there may be exceptions but I typically like to hear about the ideas behind things before I dive into the algebraic characterization.</div><div><br></div><div>Also, many thanks to the write-up of Foldable.</div><div><br></div><div>Best,</div><div>Sebastiaan</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 16, 2021 at 9:36 PM Chris Smith <<a href="mailto:cdsmith@gmail.com">cdsmith@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Ah, I misunderstood you as well.  I agree that the laws should be included in the type class documentation.  In fact, most of the documentation from the link should probably be moved into the documentation for the class, rather than a stand-alone section.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 16, 2021 at 9:15 PM David Feuer <<a href="mailto:david.feuer@gmail.com" target="_blank">david.feuer@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto">I'm not talking about whether they're first or last. They're currently not part of the class documentation *at all*. They're only in the Data.Traversable documentation.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 16, 2021, 7:45 PM Viktor Dukhovni <<a href="mailto:ietf-dane@dukhovni.org" target="_blank">ietf-dane@dukhovni.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Thu, Sep 16, 2021 at 06:51:42PM -0400, David Feuer wrote:<br>
<br>
> The last time I went to look at the laws it took me a couple minutes to<br>
> find them. I use them to write instances. Pretty important, IMO.<br>
<br>
I agree the laws are important to document, I just don't think they<br>
belong at the top of the module.  The beginner to intermediate users<br>
will be using the library and existing instances for some time before<br>
they start to write their own instances.<br>
<br>
If more modules adopt something like the style of the new Data.Foldable,<br>
experienced users will know to look for the laws at the end, if not<br>
still present at the top of the module.<br>
<br>
Of course perhaps the community would prefer the original Laws first<br>
format, I'm fine with that emerging as the consensus.  Perhaps worthy<br>
of a separate thread (made it so).<br>
<br>
Of course the conjectured users who might most benefit from not being<br>
intimidated by being exposed to laws before they're ready to understand<br>
them might not be present on this forum...<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>
_______________________________________________<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" 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>
_______________________________________________<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" 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></div>