TcRnMonad

initTc

initTcPrintErrors

initTcRnIf

getTopEnv

getGblEnv

updGblEnv

setGblEnv

getLclEnv

updLclEnv

setLclEnv

getEnvs

setEnvs

getDOpts

xoptM

doptM

setOptM

unsetOptM

ifDOptM

ifXOptM

getGhcMode

getEpsVar

getEps

updateEps

updateEps_

getHpt

getEpsAndHpt

newMetaUnique

newUnique

newUniqueSupply

newLocalName

newSysLocalIds

newTcRef

readTcRef

writeTcRef

updTcRef

traceTc

traceTcN

traceSplice

traceRn

traceHiDiffs

traceIf

traceOptIf

traceOptTcRn

dumpTcRn

debugDumpTcRn

dumpOptTcRn

getModule

setModule

tcIsHsBoot

getGlobalRdrEnv

getRdrEnvs

getImports

getFixityEnv

extendFixityEnv

getRecFieldEnv

getDeclaredDefaultTys

getSrcSpanM

setSrcSpan

addLocM

wrapLocM

wrapLocFstM

wrapLocSndM

getErrsVar

setErrsVar

addErr

failWith

addErrAt

addErrs

addWarn

addWarnAt

checkErr

warnIf

addMessages

discardWarnings

addReport

addReportAt

addLongErrAt

dumpDerivingInfo

try_m

recoverM

mapAndRecoverM

tryTc

tryTcErrs

tryTcLIE

tryTcLIE_

checkNoErrs

ifErrsM

failIfErrsM

getErrCtxt

setErrCtxt

addErrCtxt

addErrCtxtM

addLandmarkErrCtxt

updCtxt

maybeAddErrCtxt

popErrCtxt

getCtLoc

setCtLoc

addErrTc

addErrsTc

addErrTcM

failWithTc

failWithTcM

checkTc

addWarnTc

addWarnTcM

warnTc

tcInitTidyEnv

add_err_tcm

mkErrInfo

mAX_CONTEXTS

debugTc

newTcEvBinds

extendTcEvBinds

addTcEvBind

chooseUniqueOccTc

getConstraintVar

setConstraintVar

emitConstraints

emitFlat

emitFlats

emitImplication

emitImplications

captureConstraints

captureUntouchables

isUntouchable

getLclTypeEnv

setLclTypeEnv

recordThUse

keepAliveTc

keepAliveSetTc

getStage

setStage

getLocalRdrEnv

setLocalRdrEnv

mkIfLclEnv

initIfaceTcRn

initIfaceExtCore

initIfaceCheck

initIfaceTc

initIfaceRules

initIfaceLcl

getIfModule

failIfM

forkM_maybe

forkM