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