| ||||||||||||||||
| ||||||||||||||||
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.6.1 |