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