The ModDetails is essentially a cache for information in the ModIface
for home modules only. Information relating to packages will be loaded into
global environments in ExternalPackageState.
Constructors
ModDetailsmd_exports :: [AvailInfo]md_types :: !TypeEnvLocal type environment for this particular module Includes Ids, TyCons, PatSyns
md_defaults :: !DefaultEnvdefault declarations exported by this module
md_insts :: InstEnvDFunIds for the instances in this modulemd_fam_insts :: ![FamInst]md_rules :: ![CoreRule]Domain may include
Ids from other modulesmd_anns :: ![Annotation]Annotations present in this module: currently they only annotate things also declared in this module
md_complete_matches :: CompleteMatchesComplete match pragmas for this module