| ghc-6.10.4: The GHC API | Contents | Index

FamInstEnv

Documentation
data FamInst

Constructors

FamInst |

fi_fam :: Name |
fi_tcs :: [Maybe Name] |
fi_tvs :: TyVarSet |
fi_tys :: [Type] |
fi_tycon :: TyCon |

Instances

Outputable FamInst
NamedThing 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]
lookupFamInstEnvUnify :: (FamInstEnv, FamInstEnv) -> TyCon -> [Type] -> [(FamInstMatch, TvSubst)]
topNormaliseType :: FamInstEnvs -> Type -> Maybe (Coercion, Type)
Produced by Haddock version 2.4.2