Searched refs:mg_fam_inst_env (Results 1 – 7 of 7) sorted by relevance
84 mg_fam_inst_env :: FamInstEnv, -- ^ Type-family instance environment for function
521 let fam_envs = (p_fam_env, mg_fam_inst_env guts)529 let fam_envs = (p_fam_env, mg_fam_inst_env guts)635 , mg_fam_inst_env = fam_inst_env }) function
206 mg_fam_inst_env = fam_inst_env, function
226 fam_inst_env = mg_fam_inst_env guts
1428 mg_fam_inst_env :: FamInstEnv, -- ^ Type-family instance environment for function
1474 mg_fam_inst_env :: FamInstEnv, -- ^ Type-family instance environment for function