Searched defs:FamInstEnv (Results 1 – 5 of 5) sorted by relevance
68 , st_fams :: (FamInstEnv, FamInstEnv) } function
8 module FamInstEnv ( module353 type FamInstEnv = UniqDFM FamilyInstEnv -- Maps a family to its instances type
8 module FamInstEnv ( module353 type FamInstEnv = UniqDFM FamilyInstEnv -- Maps a family to its instances function
357 type FamInstEnv = UniqDFM TyCon FamilyInstEnv -- Maps a family to its instances function
358 type FamInstEnv = UniqDFM TyCon FamilyInstEnv -- Maps a family to its instances type