ghc-7.8.3: The GHC API

Safe HaskellNone
LanguageHaskell98

LoadIface

Synopsis

Documentation

loadModuleInterface :: SDoc -> Module -> TcM ModIface Source

Load interface for a module.

loadModuleInterfaces :: SDoc -> [Module] -> TcM () Source

Load interfaces for a collection of modules.

loadSrcInterface :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM ModIface Source

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

loadInterfaceForName :: SDoc -> Name -> TcRn ModIface Source

Loads the interface for a given Name.

loadInterfaceForModule :: SDoc -> Module -> TcRn ModIface Source

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 ModIface Source

Loads a system interface and throws an exception if it fails

loadUserInterface :: Bool -> SDoc -> Module -> IfM lcl ModIface Source

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

showIface :: HscEnv -> FilePath -> IO () Source

Read binary interface, and print it out