The Scrap Your Boilerplate (SYB) papers are probably the best resource for Data.Data.  I'm not aware of a similar resource on GHC Generics.

I think the problem you had is that your original question is a very small fragment of the problems generics are meant to solve.  For people used to generics systems (Oleg, not really me!), your question is near-trivial.  But you need a decent familiarity with the whole apparatus to see how to use any of it.

(I still think 'mapQ typeOf' is likely to be the most concise solution).



On Tue, Oct 29, 2013 at 5:19 AM, AntC <anthony_clayden@clear.net.nz> wrote:
> <oleg <at> okmij.org> writes:

> ...
>
> It is easy to answer the original question about someFoo
>
> ...

So it is! (For some value of `easy` ;-)

Thank you both Oleg and John.

Is all that documented somewhere 'official'?
(I did try various searches and wikis, and look at Data.Data on Hackage.
 But nothing seemed to hang together enough.
 Perhaps my question is an unusual use case?)

AntC



_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe