Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Plugin.Fundep.Stuff

Synopsis

data PolysemyStuff (l :: LookupState) = PolysemyStuff {
- findClass :: ThingOf l Class
- semTyCon :: ThingOf l TyCon
}
data LookupState
- = Locations
- | Things
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 findClass :: ThingOf l Class semTyCon :: ThingOf l TyCon

data LookupState Source #

Data kind for ThingOf.

Constructors

Locations
Things

polysemyStuff :: TcPluginM (PolysemyStuff 'Things) Source #

Lookup all of the PolysemyStuff.