#13175: Documenting what can be derived 'out of the box' by GHC's "deriving" -------------------------------------+------------------------------------- Reporter: carette | Owner: Type: task | 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: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by carette): Unfortunately I 'looked' via Google. I expected to find it that way... Once the information is somewhere, I will then expect that that will indeed work. But, in the meantime, I am still at a loss as to where to put it. One of the problems is that when you search for "GHC" and "deriving", the principal hits are to section 7.5 of the manual (https://downloads.haskell.org/~ghc/7.8.4/docs/html/users_guide/deriving.html) which documents the extensions to this mechanism. If you dig really (really!) hard, you eventually find section 4.3.3 of the Haskell 98 report (https://www.haskell.org/onlinereport/decls.html#derived-decls) which documents "deriving" (the 2010 report's 4.3.3 is essentially identical). But Google doesn't seem to like that much, so it doesn't show up. But the list in those reports is not the same as the list above! So I am still at a loss as to where to put this. GHC's own documentation does not define "deriving" (because the Haskell reports already do), which would have been my first thought. So maybe in 7.5 somewhere? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13175#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13175: Documenting what can be derived 'out of the box' by GHC's "deriving" -------------------------------------+------------------------------------- Reporter: carette | Owner: Type: task | 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: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by carette): The `DerivingStrategies` web page is actually easier to find (I referenced it when I first asked the question https://mail.haskell.org/pipermail /haskell-cafe/2016-October/125378.html). Yes, recapping the stock derivable instances along with the extras that GHC also implements would work for me. Perhaps in the prelude to 9.6 (i.e. before 9.6.1)? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13175#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13175: Documenting what can be derived 'out of the box' by GHC's "deriving" -------------------------------------+------------------------------------- Reporter: carette | Owner: Type: task | 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: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by carette): Yes, I'll give it a crack. Does this mean that I should 'own' this ticket? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13175#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13175: Documenting what can be derived 'out of the box' by GHC's "deriving" -------------------------------------+------------------------------------- Reporter: carette | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Documentation | Version: 8.0.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * keywords: => newcomer -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13175#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#13175: Documenting what can be derived 'out of the box' by GHC's "deriving" -------------------------------------+------------------------------------- Reporter: carette | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.4.1 Component: Documentation | Version: 8.0.1 Resolution: fixed | Keywords: newcomer, | deriving Operating System: Unknown/Multiple | Architecture: Type of failure: Documentation | Unknown/Multiple bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by RyanGlScott): * status: new => closed * resolution: => fixed * milestone: => 8.4.1 Comment: I believe this can be considered fixed as of 317aa966b3d89e45227a5870feba339e34d77a18. The [http://git.haskell.org/ghc.git/blob/317aa966b3d89e45227a5870feba339e34d77a18... beginning of the users' guide section] on GHC's extensions to `deriving` now mentions: {{{ * In Haskell 98, the only derivable classes are ``Eq``, ``Ord``, ``Enum``, ``Ix``, ``Bounded``, ``Read``, and ``Show``. `Various langauge extensions <#deriving-extra>`__ extend this list. }}} The `deriving-extra` section then proceeds to mention each of the remaining classes that are stock derivable. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13175#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler