Safe Haskell | None |
---|---|
Language | Haskell98 |
LoadIface
- loadModuleInterface :: SDoc -> Module -> TcM ModIface
- loadModuleInterfaces :: SDoc -> [Module] -> TcM ()
- loadSrcInterface :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM ModIface
- loadSrcInterface_maybe :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM (MaybeErr MsgDoc ModIface)
- loadInterfaceForName :: SDoc -> Name -> TcRn ModIface
- loadInterfaceForModule :: SDoc -> Module -> TcRn ModIface
- loadInterface :: SDoc -> Module -> WhereFrom -> IfM lcl (MaybeErr MsgDoc ModIface)
- loadWiredInHomeIface :: Name -> IfM lcl ()
- loadSysInterface :: SDoc -> Module -> IfM lcl ModIface
- loadUserInterface :: Bool -> SDoc -> Module -> IfM lcl ModIface
- loadPluginInterface :: SDoc -> Module -> IfM lcl ModIface
- findAndReadIface :: SDoc -> Module -> IsBootInterface -> TcRnIf gbl lcl (MaybeErr MsgDoc (ModIface, FilePath))
- readIface :: Module -> FilePath -> TcRnIf gbl lcl (MaybeErr MsgDoc ModIface)
- loadDecls :: Bool -> [(Fingerprint, IfaceDecl)] -> IfL [(Name, TyThing)]
- initExternalPackageState :: ExternalPackageState
- ifaceStats :: ExternalPackageState -> SDoc
- pprModIface :: ModIface -> SDoc
- showIface :: HscEnv -> FilePath -> IO ()
Documentation
loadModuleInterfaces :: SDoc -> [Module] -> TcM ()Source
Load interfaces for a collection of modules.
loadSrcInterface :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM ModIfaceSource
Load the interface corresponding to an import
directive in
source code. On a failure, fail in the monad with an error message.
loadSrcInterface_maybe :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM (MaybeErr MsgDoc ModIface)Source
Like loadSrcInterface, but returns a MaybeErr
loadInterfaceForModule :: SDoc -> Module -> TcRn ModIfaceSource
Loads the interface for a given Module.
loadWiredInHomeIface :: Name -> IfM lcl ()Source
An IfM
function to load the home interface for a wired-in thing,
so that we're sure that we see its instance declarations and rules
See Note [Loading instances for wired-in things] in TcIface
loadSysInterface :: SDoc -> Module -> IfM lcl ModIfaceSource
Loads a system interface and throws an exception if it fails
loadUserInterface :: Bool -> SDoc -> Module -> IfM lcl ModIfaceSource
Loads a user interface and throws an exception if it fails. The first parameter indicates whether we should import the boot variant of the module
findAndReadIface :: SDoc -> Module -> IsBootInterface -> TcRnIf gbl lcl (MaybeErr MsgDoc (ModIface, FilePath))Source
pprModIface :: ModIface -> SDocSource