| ||||||||||||||||||
| ||||||||||||||||||
| Documentation | ||||||||||||||||||
| data FamInst | ||||||||||||||||||
| ||||||||||||||||||
| famInstTyCon :: FamInst -> TyCon | ||||||||||||||||||
| famInstTyVars :: FamInst -> TyVarSet | ||||||||||||||||||
| pprFamInst :: FamInst -> SDoc | ||||||||||||||||||
| pprFamInstHdr :: FamInst -> SDoc | ||||||||||||||||||
| pprFamInsts :: [FamInst] -> SDoc | ||||||||||||||||||
| famInstHead :: FamInst -> ([TyVar], TyCon, [Type]) | ||||||||||||||||||
| mkLocalFamInst :: TyCon -> FamInst | ||||||||||||||||||
| mkImportedFamInst :: Name -> [Maybe Name] -> TyCon -> FamInst | ||||||||||||||||||
| type FamInstEnvs = (FamInstEnv, FamInstEnv) | ||||||||||||||||||
| type FamInstEnv = UniqFM FamilyInstEnv | ||||||||||||||||||
| emptyFamInstEnv :: FamInstEnv | ||||||||||||||||||
| emptyFamInstEnvs :: (FamInstEnv, FamInstEnv) | ||||||||||||||||||
| extendFamInstEnv :: FamInstEnv -> FamInst -> FamInstEnv | ||||||||||||||||||
| extendFamInstEnvList :: FamInstEnv -> [FamInst] -> FamInstEnv | ||||||||||||||||||
| famInstEnvElts :: FamInstEnv -> [FamInst] | ||||||||||||||||||
| familyInstances :: (FamInstEnv, FamInstEnv) -> TyCon -> [FamInst] | ||||||||||||||||||
| lookupFamInstEnv :: FamInstEnvs -> TyCon -> [Type] -> [FamInstMatch] | ||||||||||||||||||
| lookupFamInstEnvConflicts :: FamInstEnvs -> FamInst -> [TyVar] -> [FamInstMatch] | ||||||||||||||||||
| topNormaliseType :: FamInstEnvs -> Type -> Maybe (Coercion, Type) | ||||||||||||||||||
| Produced by Haddock version 2.7.2 | ||||||||||||||||||