Documentation

Fields

• mi_abi_mod_hash :: !Fingerprint

  Hash of the ABI only

• mi_abi_orphan :: !WhetherHasOrphans

  Whether this module has orphans

• mi_abi_finsts :: !WhetherHasFamInst

  Whether this module has family instances. See Note [The type family instance consistency story].

• mi_abi_export_avails_hash :: !Fingerprint

  Hash of the exported avails (does not include e.g. instances)

• mi_abi_orphan_like_hash :: !Fingerprint

  Orphans, together with (non-orphan) type family instances of dependencies and a few other things; see Note [Orphan-like hash].

  If this changes, we must recompile due to the impact on instance resolution.

• mi_abi_orphan_hash :: !Fingerprint

  Hash for orphan rules, class and family instances combined NOT transitive

Fields

• mi_sr_src_hash :: !Fingerprint

  Hash of the .hs source, used for recompilation checking.

• mi_sr_usages :: [Usage]

  Usages; kept sorted so that it's easy to decide whether to write a new iface file (changing usages doesn't affect the hash of this module) NOT STRICT! we read this field lazily from the interface file It is *only* consulted by the recompilation checker

• mi_sr_flag_hash :: !(FingerprintWithValue IfaceDynFlags)

  Hash of the important flags used when compiling the module, excluding optimisation flags

• mi_sr_opt_hash :: !Fingerprint

  Hash of optimisation flags

• mi_sr_hpc_hash :: !Fingerprint

  Hash of hpc flags

• mi_sr_plugin_hash :: !Fingerprint

  Hash of plugins

Fields

• mi_cache_decl_warn_fn :: !(OccName -> Maybe (WarningTxt GhcRn))

  Cached lookup for mi_warns for declaration deprecations

• mi_cache_export_warn_fn :: !(Name -> Maybe (WarningTxt GhcRn))

  Cached lookup for mi_warns for export deprecations

• mi_cache_fix_fn :: !(OccName -> Maybe Fixity)

  Cached lookup for mi_fixities

• mi_cache_hash_fn :: !(OccName -> Maybe (OccName, Fingerprint))

  Cached lookup for mi_decls. The Nothing in mi_hash_fn means that the thing isn't in decls. It's useful to know that when seeing if we are up to date wrt. the old interface. The OccName is the parent of the name, if it has one.

Fields

• mi_sc_extra_decls :: [IfaceBindingX IfaceMaybeRhs IfaceTopBndrInfo]

  Extra variable definitions which are **NOT** exposed but when combined with mi_decls allows us to restart code generation. See Note [Interface Files with Core Definitions] and Note [Interface File with Core: Sharing RHSs]

• mi_sc_foreign :: IfaceForeign

  Foreign stubs and files to supplement mi_extra_decls_. See Note [Foreign stubs and TH bytecode linking]

Fields

• mi_exports_ :: [IfaceExport]

  Exports Kept sorted by (mod,occ), to make version comparisons easier Records the modules that are the declaration points for things exported by this module, and the OccNames of those things

• mi_fixities_ :: [(OccName, Fixity)]

  Fixities NOT STRICT! we read this field lazily from the interface file

• mi_warns_ :: IfaceWarnings

  Warnings NOT STRICT! we read this field lazily from the interface file

• mi_anns_ :: [IfaceAnnotation]

  Annotations NOT STRICT! we read this field lazily from the interface file

• mi_decls_ :: [IfaceDeclExts phase]

  Type, class and variable declarations The hash of an Id changes if its fixity or deprecations change (as well as its type of course) Ditto data constructors, class operations, except that the hash of the parent class/tycon changes

• mi_defaults_ :: [IfaceDefault]

  default declarations exported by the module

• mi_insts_ :: [IfaceClsInst]

  Sorted class instance

• mi_fam_insts_ :: [IfaceFamInst]

  Sorted family instances

• mi_rules_ :: [IfaceRule]

  Sorted rules

• mi_trust_ :: IfaceTrustInfo

  Safe Haskell Trust information for this module.

• mi_trust_pkg_ :: Bool

  Do we require the package this module resides in be trusted to trust this module? This is used for the situation where a module is Safe (so doesn't require the package be trusted itself) but imports some trustworthy modules from its own package (which does require its own package be trusted). See Note [Trust Own Package] in GHC.Rename.Names

• mi_complete_matches_ :: [IfaceCompleteMatch]

  {-# COMPLETE #-} declarations

• mi_caches_ :: IfaceCache

  Cached lookups of some parts of mi_public

• mi_abi_hashes_ :: IfaceAbiHashesExts phase

  Either () or IfaceAbiHashes for a fully instantiated interface. These fields are hashes of different parts of the public interface.

Fields

• mi_mod_info_module :: Module

  Name of the module we are for

• mi_mod_info_sig_of :: Maybe Module

  Are we a sig of another mod?

• mi_mod_info_hsc_src :: HscSource

  Boot? Signature?

Fields

• ifaceTopExports :: DetOrdAvails

  all top level things in this module, including unexported stuff

• ifaceImports :: [IfaceImport]

  all the imports in this module