TcSMonad

data WorkList

isEmptyWorkList

emptyWorkList

extendWorkListNonEq

extendWorkListCt

extendWorkListDerived

extendWorkListCts

extendWorkListEq

extendWorkListFunEq

appendWorkList

selectNextWorkItem

workListSize

workListWantedCount

updWorkListTcS

data TcS a

runTcS

runTcSDeriveds

runTcSWithEvBinds

failTcS

warnTcS

addErrTcS

runTcSEqualities

nestTcS

nestImplicTcS

setEvBindsTcS

runTcPluginTcS

addUsedGREs

deferTcSForAllEq

panicTcS

traceTcS

traceFireTcS

bumpStepCountTcS

csTraceTcS

wrapErrTcS

wrapWarnTcS

data MaybeNew

freshGoals

isFresh

getEvTerm

newTcEvBinds

newWantedEq

newWanted

newWantedEvVar

newWantedEvVarNC

newDerivedNC

newBoundEvVarId

unifyTyVar

unflattenFmv

reportUnifications

setEvBind

setWantedEq

setEqIfWanted

setWantedEvTerm

setWantedEvBind

setEvBindIfWanted

newEvVar

newGivenEvVar

newGivenEvVars

emitNewDerived

emitNewDeriveds

emitNewDerivedEq

checkReductionDepth

getInstEnvs

getFamInstEnvs

getTopEnv

getGblEnv

getLclEnv

getTcEvBinds

getTcEvBindsFromVar

getTcLevel

getTcEvBindsMap

tcLookupClass

data InertSet

data InertCans

updInertTcS

updInertCans

updInertDicts

updInertIrreds

getNoGivenEqs

setInertCans

getInertEqs

getInertCans

getInertModel

getInertGivens

emptyInert

getTcSInerts

setTcSInerts

takeGivenInsolubles

matchableGivens

prohibitedSuperClassSolve

getUnsolvedInerts

removeInertCts

getPendingScDicts

addInertCan

addInertEq

insertFunEq

emitInsoluble

emitWorkNC

emitWork

type InertModel

kickOutAfterUnification

addInertSafehask

insertSafeOverlapFailureTcS

updInertSafehask

getSafeOverlapFailures

lookupInertDict

findDictsByClass

addDict

addDictsByClass

delDict

partitionDicts

foldDicts

filterDicts

type EqualCtList

findTyEqs

foldTyEqs

isInInertEqs

addSolvedDict

lookupSolvedDict

foldIrreds

lookupFlatCache

extendFlatCache

newFlattenSkolem

updInertFunEqs

findFunEq

sizeFunEqMap

filterFunEqs

findFunEqsByTyCon

partitionFunEqs

foldFunEqs

instDFunType

newFlexiTcSTy

instFlexiTcS

cloneMetaTyVar

demoteUnfilledFmv

data TcLevel

isTouchableMetaTyVarTcS

isFilledMetaTyVar_maybe

isFilledMetaTyVar

zonkTyCoVarsAndFV

zonkTcType

zonkTcTypes

zonkTcTyVar

zonkCo

zonkTyCoVarsAndFVList

zonkSimples

zonkWC

newTcRef

readTcRef

updTcRef

getDefaultInfo

getDynFlags

getGlobalRdrEnvTcS

matchFam

matchFamTcM

checkWellStagedDFun

pprEq