|
|
|
|
|
Documentation |
|
data FamInst |
Constructors | | Instances | |
|
|
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 |