[Haskell-cafe] GHC API: type class instance check

[J. Stutterheim]

Hi all,

I'm writing a core-to-core GHC plugin and have two questions:

- Given some t :: Type, how can I check whether there exists an instance of some type class C for t?
- How can I check whether some type class C exists, and if so, how can I get a value c (presumably :: Class) of this class?

Thanks!

- Jurriën
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3117 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161111/8a0c38a4/attachment.bin>