TcRnMonad

initTc

initTcPrintErrors

initTcRnIf

getTopEnv

getGblEnv

updGblEnv

setGblEnv

getLclEnv

updLclEnv

setLclEnv

getEnvs

setEnvs

getDOpts

xoptM

doptM

woptM

setXOptM

unsetDOptM

unsetWOptM

ifDOptM

ifWOptM

ifXOptM

getGhcMode

getEpsVar

getEps

updateEps

updateEps_

getHpt

getEpsAndHpt

newMetaUnique

newUnique

newUniqueSupply

newLocalName

newSysLocalIds

newName

newTcRef

readTcRef

writeTcRef

updTcRef

traceTc

traceTcN

traceRn

traceSplice

traceIf

traceHiDiffs

traceOptIf

traceOptTcRn

dumpTcRn

debugDumpTcRn

dumpOptTcRn

getModule

setModule

getIsGHCi

tcIsHsBoot

getGlobalRdrEnv

getRdrEnvs

getImports

getFixityEnv

extendFixityEnv

getRecFieldEnv

getDeclaredDefaultTys

addDependentFiles

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

popErrCtxt

getCtLoc

setCtLoc

addErrTc

addErrsTc

addErrTcM

failWithTc

failWithTcM

checkTc

addWarnTc

addWarnTcM

warnTc

tcInitTidyEnv

add_err_tcm

mkErrInfo

mAX_CONTEXTS

debugTc

newTcEvBinds

addTcEvBind

chooseUniqueOccTc

getConstraintVar

setConstraintVar

emitConstraints

emitFlat

emitFlats

emitWantedCts

emitImplication

emitImplications

captureConstraints

captureUntouchables

isUntouchable

getLclTypeEnv

setLclTypeEnv

traceTcConstraints

recordThUse

recordThSpliceUse

keepAliveTc

keepAliveSetTc

getStage

setStage

recordUnsafeInfer

getLocalRdrEnv

setLocalRdrEnv

mkIfLclEnv

initIfaceTcRn

initIfaceExtCore

initIfaceCheck

initIfaceTc

initIfaceLcl

getIfModule

failIfM

forkM_maybe

forkM