TcSMonad

type CanonicalCts

emptyCCan

andCCan

andCCans

singleCCan

extendCCans

isEmptyCCan

isCTyEqCan

isCDictCan_Maybe

isCIPCan_Maybe

isCFunEqCan_Maybe

isCFrozenErr

data WorkList

unionWorkList

unionWorkLists

isEmptyWorkList

emptyWorkList

workListFromEq

workListFromNonEq

workListFromEqs

workListFromNonEqs

foldrWorkListM

data CanonicalCt

type Xi

tyVarsOfCanonical

tyVarsOfCanonicals

tyVarsOfCDicts

deCanonicalise

mkFrozenError

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

tryTcS

nestImplicTcS

recoverTcS

wrapErrTcS

wrapWarnTcS

data SimplContext

isInteractive

simplEqsOnly

performDefaulting

newEvVar

newCoVar

newGivenCoVar

newDerivedId

newIPVar

newDictVar

newKindConstraint

setCoBind

setIPBind

setDictBind

setEvBind

setWantedTyBind

lookupFlatCacheMap

updateFlatCacheMap

getInstEnvs

getFamInstEnvs

getTopEnv

getGblEnv

getTcEvBinds

getUntouchables

getTcEvBindsBag

getTcSContext

getTcSTyBinds

getTcSTyBindsMap

newFlattenSkolemTy

instDFunTypes

instDFunConstraints

newFlexiTcSTy

instFlexiTcS

compatKind

type TcsUntouchables

isTouchableMetaTyVar

isTouchableMetaTyVar_InRange

getDefaultInfo

getDynFlags

matchClass

matchFam

data MatchInstResult mi

checkWellStagedDFun

warnTcS

pprEq