index pages in doc-gen

Stream: general

[Yury G. Kudryashov]

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]

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

[Rob Lewis]

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