Zulip Chat Archive

Stream: general

Topic: index pages in doc-gen

Yury G. Kudryashov (Sep 28 2020 at 20:40):

Would it be hard to have some doxygen-like index pages on the docs website? E.g., an alphabetical list of all typeclasses, each of them links to a page with the list of all known instances.

Patrick Massot (Sep 28 2020 at 20:41):

I think it would be pretty easy, all the information is already there.

Rob Lewis (Sep 28 2020 at 20:46):

Yes, this is easy enough. Every class already lists its instances. docs#has_add

Last updated: Aug 03 2023 at 10:10 UTC