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

CoAxioms

mkCoAxBranch

mkBranchedCoAxiom

mkUnbranchedCoAxiom

mkSingleCoAxiom

mkNewTypeCoAxiom

data FamInstMatch

lookupFamInstEnv

lookupFamInstEnvConflicts

lookupFamInstEnvByTyCon

isDominatedBy

apartnessCheck

data InjectivityCheckResult

lookupFamInstEnvInjectivityConflicts

injectiveBranches

topNormaliseType

topNormaliseType_maybe

normaliseType

normaliseTcApp

reduceTyFamApp_maybe

flattenTys