Template Haskell...

MR K P SCHUPKE k.schupke at imperial.ac.uk
Wed Oct 20 11:49:38 EDT 2004

Thanks for the URL... I have realised I jumped the gun saying the derivation can be 
done in template-haskell... there is one small problem:

$(derive [t| SomeConstructor a b |])

passes the constructor to derive... is there any way to get the type information
for some type? You can do

$(derive [d| data X a b = X1 a b |])

Is there any way to get the same information from something like:

$(derive2 [T| X a b |])


More information about the Glasgow-haskell-users mailing list