TcSMonad

data WorkList

isEmptyWorkList

emptyWorkList

workListFromEq

workListFromNonEq

workListFromCt

extendWorkListEq

extendWorkListNonEq

extendWorkListCt

appendWorkListCt

appendWorkListEqs

unionWorkList

selectWorkItem

getTcSWorkList

updWorkListTcS

updWorkListTcS_return

keepWanted

data Ct

type Xi

tyVarsOfCt

tyVarsOfCts

tyVarsOfCDicts

emitFrozenError

isWanted

isGivenOrSolved

isDerived

isGivenOrSolvedCt

isGivenCt_maybe

isWantedCt

isDerivedCt

pprFlavorArising

isFlexiTcsTv

canRewrite

canSolve

combineCtLoc

mkSolvedFlavor

mkGivenFlavor

mkWantedFlavor

getWantedLoc

data TcS a

runTcS

failTcS

panicTcS

traceTcS

traceFireTcS

bumpStepCountTcS

doWithInert

tryTcS

nestImplicTcS

recoverTcS

wrapErrTcS

wrapWarnTcS

data SimplContext

isInteractive

simplEqsOnly

performDefaulting

newEvVar

forceNewEvVar

delCachedEvVar

updateFlatCache

flushFlatCache

newGivenEqVar

newEqVar

newKindConstraint

data EvVarCreated

isNewEvVar

data FlatEqOrigin

origin_matches

setEqBind

setEvBind

setWantedTyBind

getInstEnvs

getFamInstEnvs

getTopEnv

getGblEnv

getTcEvBinds

getUntouchables

getTcEvBindsMap

getTcSContext

getTcSTyBinds

getTcSTyBindsMap

getTcSEvVarCacheMap

getTcSEvVarFlatCache

setTcSEvVarCacheMap

pprEvVarCache

newFlattenSkolemTy

data InertSet

getInertEqs

liftInertEqsTy

getCtCoercion

emptyInert

getTcSInerts

updInertSet

extractUnsolved

extractUnsolvedTcS

modifyInertTcS

updInertSetTcS

partitionCCanMap

partitionEqMap

getRelevantCts

extractRelevantInerts

data CCanMap a

type CtTypeMap

pprCtTypeMap

mkPredKeyForTypeMap

partitionCtTypeMap

instDFunTypes

instDFunConstraints

newFlexiTcSTy

instFlexiTcS

compatKind

compatKindTcS

isSubKindTcS

unifyKindTcS

type TcsUntouchables

isTouchableMetaTyVar

isTouchableMetaTyVar_InRange

getDefaultInfo

getDynFlags

matchClass

matchFam

data MatchInstResult mi

checkWellStagedDFun

warnTcS

pprEq