FamInstEnv

data FamInst

data FamFlavor

famInstAxiom

famInstTyCon

famInstRHS

famInstsRepTyCons

famInstRepTyCon_maybe

dataFamInstRepTyCon

pprFamInst

pprFamInsts

mkImportedFamInst

type FamInstEnvs

type FamInstEnv

emptyFamInstEnv

emptyFamInstEnvs

extendFamInstEnv

deleteFromFamInstEnv

extendFamInstEnvList

identicalFamInstHead

famInstEnvElts

familyInstances

orphNamesOfFamInst

CoAxioms

mkCoAxBranch

mkBranchedCoAxiom

mkUnbranchedCoAxiom

mkSingleCoAxiom

computeAxiomIncomps

data FamInstMatch

lookupFamInstEnv

lookupFamInstEnvConflicts

isDominatedBy

topNormaliseType

topNormaliseType_maybe

normaliseType

normaliseTcApp

reduceTyFamApp_maybe

chooseBranch

flattenTys