InstEnv
type DFunId
type InstMatch
type ClsInstLookupResult
data OverlapFlag
data OverlapMode
setOverlapModeMaybe
data ClsInst
type DFunInstType
pprInstance
pprInstanceHdr
pprInstances
instanceHead
instanceSig
mkLocalInstance
mkImportedInstance
instanceDFunId
tidyClsInstDFun
instanceRoughTcs
fuzzyClsInstCmp
data IsOrphan
isOrphan
notOrphan
data InstEnvs
type VisibleOrphanModules
type InstEnv
emptyInstEnv
extendInstEnv
deleteFromInstEnv
identicalClsInstHead
extendInstEnvList
lookupUniqueInstEnv
lookupInstEnv'
lookupInstEnv
instEnvElts
memberInstEnv
instIsVisible
classInstances
orphNamesOfClsInst
instanceBindFun
instanceCantMatch
roughMatchTcs