TcSMonad

type CanonicalCts

emptyCCan

andCCan

andCCans

singleCCan

extendCCans

isEmptyCCan

isCTyEqCan

isCDictCan_Maybe

isCIPCan_Maybe

isCFunEqCan_Maybe

data CanonicalCt

type Xi

tyVarsOfCanonical

tyVarsOfCanonicals

tyVarsOfCDicts

mkWantedConstraints

deCanonicaliseWanted

makeGivens

makeSolvedByInst

data CtFlavor

isWanted

isGiven

isDerived

isDerivedSC

isDerivedByInst

isGivenCt

isWantedCt

data DerivedOrig

canRewrite

canSolve

combineCtLoc

mkGivenFlavor

data TcS a

runTcS

failTcS

panicTcS

traceTcS

traceTcS0

tryTcS

nestImplicTcS

recoverTcS

wrapErrTcS

wrapWarnTcS

data SimplContext

isInteractive

simplEqsOnly

performDefaulting

newWantedCoVar

newGivOrDerCoVar

newGivOrDerEvVar

newIPVar

newDictVar

newKindConstraint

setWantedCoBind

setDerivedCoBind

setIPBind

setDictBind

setEvBind

setWantedTyBind

newTcEvBindsTcS

getInstEnvs

getFamInstEnvs

getTopEnv

getGblEnv

getTcEvBinds

getUntouchables

getTcEvBindsBag

getTcSContext

getTcSTyBinds

getTcSTyBindsMap

newFlattenSkolemTy

instDFunTypes

instDFunConstraints

isGoodRecEv

zonkTcTypeTcS

compatKind

isTouchableMetaTyVar

isTouchableMetaTyVar_InRange

getDefaultInfo

getDynFlags

matchClass

matchFam

data MatchInstResult mi

checkWellStagedDFun

warnTcS

pprEq

mkWantedFunDepEqns