Searched refs:lookupTypeEnv (Results 1 – 10 of 10) sorted by relevance
4 , lookupTypeEnv49 lookupTypeEnv :: TypeEnv -> Name -> Maybe TyThing81 lookupTypeEnv = lookupNameEnv function
779 | Just sig_thing <- lookupTypeEnv (md_types details) name780 = case lookupTypeEnv type_env (getName sig_thing) of
834 | Just real_thing <- lookupTypeEnv local_type_env name,842 mb_boot_thing = lookupTypeEnv boot_type_env name
110 lookupTypeEnv,2193 lookupTypeEnv :: TypeEnv -> Name -> Maybe TyThing2224 lookupTypeEnv = lookupNameEnv function
1156 Just ty <- [lookupTypeEnv pte name] ]1217 case lookupTypeEnv (minf_type_env minf) name of
199 = case lookupTypeEnv type_env (idName id) of
109 lookupTypeEnv,2239 lookupTypeEnv :: TypeEnv -> Name -> Maybe TyThing2270 lookupTypeEnv = lookupNameEnv function
150 ; case lookupTypeEnv (eps_PTE eps) name of
1719 case lookupTypeEnv tenv n of