#13657: Documentation: Functional dependencies by other means -------------------------------------+------------------------------------- Reporter: AntC | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: 10431 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by AntC): Replying to [comment:1 simonpj]:
We could add it to the user manual.
(I still think the User Manual doesn't really explain the difference between SuperClass constraints vs Instance constraints.)
But alternatively, and perhaps better, we have
[https://wiki.haskell.org/GHC GHC's collaborative documentation pages]. OK. I've transplanted the ticket's text to an added section under "Type system extensions" [https://wiki.haskell.org/GHC/SuperClass SuperClass]. (Strewth! Changing the markup style was fiddly.) And added some of the materials from the original ghc-users thread.
(The contents page itself could do with some editing work too!)
Yes, it's a bit of a rag-bag. I guess there's plenty of material on idioms and techniques around the web on blogs these days. But that's often related to older versions of GHC; and is difficult to search. (I did have a quick squiz for stuff on SuperClass constraints, but I don't think this ticket is repeating anything 'obvious'.) What does GHC HQ see as the 'organising principle' for the collaborative doo-hickeys? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13657#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler