[Haskell-cafe] Template Haskell, information about data constructor types

Simon Peyton-Jones 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?

Simon


More information about the Haskell-Cafe mailing list