TcSMonad
data WorkList
isEmptyWorkList
emptyWorkList
extendWorkListNonEq
extendWorkListCt
extendWorkListDerived
extendWorkListCts
extendWorkListEq
extendWorkListFunEq
appendWorkList
selectNextWorkItem
workListSize
workListWantedCount
getWorkList
updWorkListTcS
data TcS a
runTcS
runTcSDeriveds
runTcSWithEvBinds
failTcS
warnTcS
addErrTcS
runTcSEqualities
nestTcS
nestImplicTcS
setEvBindsTcS
runTcPluginTcS
addUsedGRE
addUsedGREs
deferTcSForAllEq
panicTcS
traceTcS
traceFireTcS
bumpStepCountTcS
csTraceTcS
wrapErrTcS
wrapWarnTcS
data MaybeNew
freshGoals
isFresh
getEvTerm
newTcEvBinds
newWantedEq
emitNewWantedEq
newWanted
newWantedEvVar
newWantedNC
newWantedEvVarNC
newDerivedNC
newBoundEvVarId
unifyTyVar
unflattenFmv
reportUnifications
setEvBind
setWantedEq
setEqIfWanted
setWantedEvTerm
setWantedEvBind
setEvBindIfWanted
newEvVar
newGivenEvVar
newGivenEvVars
emitNewDerived
emitNewDeriveds
emitNewDerivedEq
checkReductionDepth
getInstEnvs
getFamInstEnvs
getTopEnv
getGblEnv
getLclEnv
getTcEvBindsVar
getTcLevel
getTcEvBindsAndTCVs
getTcEvBindsMap
tcLookupClass
tcLookupId
data InertSet
data InertCans
updInertTcS
updInertCans
updInertDicts
updInertIrreds
getNoGivenEqs
setInertCans
getInertEqs
getInertCans
getInertGivens
getInertInsols
emptyInert
getTcSInerts
setTcSInerts
matchableGivens
prohibitedSuperClassSolve
getUnsolvedInerts
removeInertCts
getPendingScDicts
addInertCan
addInertEq
insertFunEq
emitInsoluble
emitWorkNC
emitWork
isImprovable
kickOutAfterUnification
addInertSafehask
insertSafeOverlapFailureTcS
updInertSafehask
getSafeOverlapFailures
type DictMap a
emptyDictMap
lookupInertDict
findDictsByClass
addDict
addDictsByClass
delDict
foldDicts
filterDicts
findDict
type EqualCtList
findTyEqs
foldTyEqs
isInInertEqs
lookupFlattenTyVar
lookupInertTyVar
addSolvedDict
lookupSolvedDict
foldIrreds
lookupFlatCache
extendFlatCache
newFlattenSkolem
updInertFunEqs
findFunEq
findFunEqsByTyCon
instDFunType
newFlexiTcSTy
instFlexi
instFlexiX
cloneMetaTyVar
demoteUnfilledFmv
tcInstType
data TcLevel
isTouchableMetaTyVarTcS
isFilledMetaTyVar_maybe
isFilledMetaTyVar
zonkTyCoVarsAndFV
zonkTcType
zonkTcTypes
zonkTcTyVar
zonkCo
zonkTyCoVarsAndFVList
zonkSimples
zonkWC
newTcRef
readTcRef
updTcRef
getDefaultInfo
getDynFlags
getGlobalRdrEnvTcS
matchFam
matchFamTcM
checkWellStagedDFun
pprEq