Searched refs:mg_tcs (Results 1 – 9 of 9) sorted by relevance
58 mg_tcs :: ![TyCon], -- ^ TyCons declared in this module function
202 mg_tcs = tcs, function
224 type_env = typeEnvFromEntities ids (mg_tcs guts) (mg_fam_insts guts)
329 , mg_tcs = tcs function
1083 (mg_tcs mg)
1735 let tcs = filterOut isImplicitTyCon (mg_tcs simpl_mg)
1402 mg_tcs :: ![TyCon], -- ^ TyCons declared in this module function
1448 mg_tcs :: ![TyCon], -- ^ TyCons declared in this module function