Moduleghc-9.14.1GHC2021

GHC.Types.TypeEnv

Synopsis

typetype TypeEnv = NameEnv TyThing

A map from Names to TyThings, constructed by typechecking local declarations or interface files

valueemptyTypeEnv :: TypeEnv

valuelookupTypeEnv :: TypeEnv -> Name -> Maybe TyThing

valuemkTypeEnv :: [TyThing] -> TypeEnv

valuetypeEnvFromEntities :: [Id] -> [TyCon] -> [PatSyn] -> [FamInst] -> TypeEnv

valuemkTypeEnvWithImplicits :: [TyThing] -> TypeEnv

valueextendTypeEnv :: TypeEnv -> TyThing -> TypeEnv

valueextendTypeEnvList :: TypeEnv -> [TyThing] -> TypeEnv

valueextendTypeEnvWithIds :: TypeEnv -> [Id] -> TypeEnv

valueplusTypeEnv :: TypeEnv -> TypeEnv -> TypeEnv

valuetypeEnvElts :: TypeEnv -> [TyThing]

valuetypeEnvTyCons :: TypeEnv -> [TyCon]

valuetypeEnvIds :: TypeEnv -> [Id]

valuetypeEnvPatSyns :: TypeEnv -> [PatSyn]

valuetypeEnvDataCons :: TypeEnv -> [DataCon]

valuetypeEnvCoAxioms :: TypeEnv -> [CoAxiom Branched]

valuetypeEnvClasses :: TypeEnv -> [Class]