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

J. Stutterheim j.stutterheim at me.com
Fri Nov 11 07:57:56 UTC 2016

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?


- 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>

More information about the Haskell-Cafe mailing list