Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- data PolysemyStuff (l :: LookupState) = PolysemyStuff {
- findClass :: ThingOf l Class
- semTyCon :: ThingOf l TyCon
- ifStuckTyCon :: ThingOf l TyCon
- locateEffectTyCon :: ThingOf l TyCon
- data LookupState
- polysemyStuff :: TcPluginM (PolysemyStuff 'Things)
Documentation
data PolysemyStuff (l :: LookupState) Source #
All of the things from "polysemy" that we need access to in the plugin.
When l ~ 'Locations
, each of these is just a pair of strings. When l
~ 'Things
, it's actually references to the stuff.
PolysemyStuff | |
|
polysemyStuff :: TcPluginM (PolysemyStuff 'Things) Source #
Lookup all of the PolysemyStuff
.