[Haskell-cafe] Retrieving information about type families
eir at cis.upenn.edu
Wed Jul 23 21:38:54 UTC 2014
Does FamInstEnv.lookupFamInstEnv work for you? You will also probably want FamInst.tcGetFamInstEnvs.
On Jul 23, 2014, at 2:48 PM, Alejandro Serrano Mena <trupill at gmail.com> wrote:
> Dear Café,
> My quest for obtaining information about type families continues.
> Now I have a simple question: how should I access the information about "type instance"s via the GHC API? My aim is to do so after type checking, that is, to get that information from a TypecheckedModule. However, I haven't yet been able to touch the right buttons to make it work ;(
> Thanks in advance,
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe