| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Polysemy.Plugin.Fundep.Stuff
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.
Constructors
| PolysemyStuff | |
Fields
| |
polysemyStuff :: TcPluginM (PolysemyStuff 'Things) Source #
Lookup all of the PolysemyStuff.