Lines Matching refs:TypeEnv
106 TypeEnv, lookupType, lookupTypeHscEnv, mkTypeEnv, emptyTypeEnv,
468 hsc_type_env_var :: Maybe (Module, IORef TypeEnv)
1333 md_types :: !TypeEnv, -- ^ Local type environment for this particular module
2183 type TypeEnv = NameEnv TyThing function
2185 emptyTypeEnv :: TypeEnv
2186 typeEnvElts :: TypeEnv -> [TyThing]
2187 typeEnvTyCons :: TypeEnv -> [TyCon]
2188 typeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched]
2189 typeEnvIds :: TypeEnv -> [Id]
2190 typeEnvPatSyns :: TypeEnv -> [PatSyn]
2191 typeEnvDataCons :: TypeEnv -> [DataCon]
2192 typeEnvClasses :: TypeEnv -> [Class]
2193 lookupTypeEnv :: TypeEnv -> Name -> Maybe TyThing
2205 mkTypeEnv :: [TyThing] -> TypeEnv
2208 mkTypeEnvWithImplicits :: [TyThing] -> TypeEnv
2214 typeEnvFromEntities :: [Id] -> [TyCon] -> [FamInst] -> TypeEnv
2227 extendTypeEnv :: TypeEnv -> TyThing -> TypeEnv
2230 extendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv
2233 extendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv
2237 plusTypeEnv :: TypeEnv -> TypeEnv -> TypeEnv
2637 type PackageTypeEnv = TypeEnv