Wider overview of type class hierarchy

[milesfrain]

This "introductory text" might not be the best place for a visual aid describing the hierarchy of type classes, but I'd like to be able to link to one.

There's a partial diagram here: https://github.com/purescript/purescript-control
(created with purs hierarchy, but that requires all classes to be defined in a single file)

Something like haskell's Typeclassopedia, but targeted specifically for purescript would be really great.

[JordanMartinez]

I think it would be good to have it here, even if it appears as an Appendix. You could use my hierarchy, which is a bit more detailed than the one in purescript-control:

[milesfrain]

Wow. Yours is really good.

Some wishlist items:

• Hyperlinks to each pursuit page - I believe SVG text supports these.
• Hover-text showing the class, members, and perhaps a few examples.

class Apply f <= Applicative f where
  pure :: forall a. a -> f a

pure 1 == Just 1
pure 1 == [1]
pure 1 == (1 : Nil)

Although I guess the examples should really just be on the pursuit page.

[JordanMartinez]

I've been wanting to convert this picture into an actual website. In addition to the actual type classes, it would show all of the instances of that type class. Thus, if you didn't understand what the abstract idea was, you could use the concrete implementations of it to build up to understanding that abstract concept.

So, imagine your "wish list" but in addition to hovering over it, it would show the definition for each instance as found in a given package set. Even better, it would visually show what's going on, so that one can understand how it affects control flow / usage.

[milesfrain]

That would be incredibly useful.
This is also on the pursuit wishlist: purescript/pursuit#311