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

pprFlavorArising

data DerivedOrig

canRewrite

canSolve

combineCtLoc

mkGivenFlavor

mkWantedFlavor

getWantedLoc

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

getTcSErrors

getTcSErrorsBag

data FrozenError

addErrorTcS

data ErrorKind

newFlattenSkolemTy

instDFunTypes

instDFunConstraints

newFlexiTcSTy

isGoodRecEv

compatKind

isTouchableMetaTyVar

isTouchableMetaTyVar_InRange

getDefaultInfo

getDynFlags

matchClass

matchFam

data MatchInstResult mi

checkWellStagedDFun

warnTcS

pprEq

mkWantedFunDepEqns