[Haskell-cafe] Template Haskell, information about data
simonpj at microsoft.com
Mon Jun 4 04:06:13 EDT 2007
| Where typeApp splits a type to find its constructor, ctorTypes gets
| the types of the fields, and dataCtors gets the constructors in a data
| type. Unfortunately reify doesn't seem to work on types. Is it
| possible to do what I am after?
reify takes a Name, not a Type. Perhaps you mean that reify doesn't work on type constructors? (E.g. reify ''Maybe). It should -- if you think it doesn't can you concoct a test case and submit it?
More information about the Haskell-Cafe