Type class instances in scope

Tom Sydney Kerckhove syd.kerckhove at gmail.com
Fri May 19 21:00:41 UTC 2017

On 19-05-17 08:35:32, Edward Z. Yang wrote:
> Excerpts from Tom Sydney Kerckhove's message of 2017-05-19 11:05:17 +0200:
> > > But if you
> > > really need all instances, you will have to first arrange to load
> > > the interfaces of ALL modules transitively imported by your module.
> > 
> > I don't really mind the time it takes to do this, but that's annoying to
> > write.
> > 
> > Thank you for your help! I will look into it.
> Another possibility is, if you can programatically list the types that
> you are interested in, you can load all of those, and then the instances
> for those types will be ready.

That's probably the most feasible approach.
Then I'd have to find all the types in scope, and find their interfaces.

I know how to get all the TyThing's in scope, so it should be easy-ish
to get started.


Tom Sydney Kerckhove
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170519/88d779f7/attachment.sig>

More information about the ghc-devs mailing list