ghc-6.12.2: The GHC APISource codeContentsIndex
FamInstEnv
Documentation
data FamInst Source
Constructors
FamInst
fi_fam :: Name
fi_tcs :: [Maybe Name]
fi_tvs :: TyVarSet
fi_tys :: [Type]
fi_tycon :: TyCon
show/hide Instances
famInstTyCon :: FamInst -> TyConSource
famInstTyVars :: FamInst -> TyVarSetSource
pprFamInst :: FamInst -> SDocSource
pprFamInstHdr :: FamInst -> SDocSource
pprFamInsts :: [FamInst] -> SDocSource
famInstHead :: FamInst -> ([TyVar], TyCon, [Type])Source
mkLocalFamInst :: TyCon -> FamInstSource
mkImportedFamInst :: Name -> [Maybe Name] -> TyCon -> FamInstSource
type FamInstEnvs = (FamInstEnv, FamInstEnv)Source
type FamInstEnv = UniqFM FamilyInstEnvSource
emptyFamInstEnv :: FamInstEnvSource
emptyFamInstEnvs :: (FamInstEnv, FamInstEnv)Source
extendFamInstEnv :: FamInstEnv -> FamInst -> FamInstEnvSource
extendFamInstEnvList :: FamInstEnv -> [FamInst] -> FamInstEnvSource
famInstEnvElts :: FamInstEnv -> [FamInst]Source
familyInstances :: (FamInstEnv, FamInstEnv) -> TyCon -> [FamInst]Source
lookupFamInstEnv :: FamInstEnvs -> TyCon -> [Type] -> [FamInstMatch]Source
lookupFamInstEnvConflicts :: FamInstEnvs -> FamInst -> [TyVar] -> [FamInstMatch]Source
topNormaliseType :: FamInstEnvs -> Type -> Maybe (Coercion, Type)Source
Produced by Haddock version 2.6.1