TcPluginM

Basic TcPluginM functionality

data TcPluginM a

tcPluginIO

tcPluginTrace

unsafeTcPluginTcM

Finding Modules and Names

data FindResult

findImportedModule

lookupOrig

Looking up Names in the typechecking environment

tcLookupGlobal

tcLookupTyCon

tcLookupDataCon

tcLookupClass

tcLookup

tcLookupId

Getting the TcM state

getTopEnv

getEnvs

getInstEnvs

getFamInstEnvs

matchFam

Type variables

newUnique

newFlexiTyVar

isTouchableTcPluginM

Zonking

zonkTcType

zonkCt

Creating constraints

newWanted

newDerived

newGiven

newCoercionHole

Manipulating evidence bindings

newEvVar

setEvBind

getEvBindsTcPluginM

getEvBindsTcPluginM_maybe