Hi all, I think this is the right place for the following questions and I thank beforehand for your answers :-)<div><br><div><br></div><div>I'm experimenting with typeclasses and TH, and I want to define a 'macro' that works more or less like this:</div>
<div><br></div><div>Given the name of a typeclass and a function, return the expressions corresponding to the type-annotated instances, for instance</div><div><br></div><div>$(foo Show show)</div><div><br></div><div>should translate to:</div>
<div><br></div><div>["(show :: Int -> String)", "(show :: Bool -> String)", ....] </div><div><br></div><div>for all instances currently in scope.</div><div><br></div><div>I'm currently playing with the isInstance function (I'm running GHC 7.4.1) and can get a list of instances, and check if a given type is part of a typeclass or not. But I don't know how to create the expression corresponding to "instantiated function", as above.</div>
<div><br></div><div>Thanks!</div><div>-- <br>Ismael<br><br>
</div></div>