|
|
|
|
Synopsis |
|
|
|
Documentation |
|
loadInterface :: SDoc -> Module -> WhereFrom -> IfM lcl (MaybeErr Message ModIface) |
|
loadInterfaceForName :: SDoc -> Name -> TcRn ModIface |
Loads the interface for a given Name.
|
|
loadWiredInHomeIface :: Name -> IfM lcl () |
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]
|
|
loadSrcInterface :: SDoc -> ModuleName -> IsBootInterface -> Maybe FastString -> RnM ModIface |
Load the interface corresponding to an import directive in
source code. On a failure, fail in the monad with an error message.
|
|
loadSysInterface :: SDoc -> Module -> IfM lcl ModIface |
A wrapper for loadInterface that throws an exception if it fails
|
|
loadOrphanModules :: [Module] -> Bool -> TcM () |
Load interfaces for a collection of orphan modules.
|
|
findAndReadIface :: SDoc -> Module -> IsBootInterface -> TcRnIf gbl lcl (MaybeErr Message (ModIface, FilePath)) |
|
readIface :: Module -> FilePath -> IsBootInterface -> TcRnIf gbl lcl (MaybeErr Message ModIface) |
|
loadDecls :: Bool -> [(Fingerprint, IfaceDecl)] -> IfL [(Name, TyThing)] |
|
initExternalPackageState :: ExternalPackageState |
|
ifaceStats :: ExternalPackageState -> SDoc |
|
pprModIface :: ModIface -> SDoc |
|
showIface :: HscEnv -> FilePath -> IO () |
Read binary interface, and print it out
|
|
Produced by Haddock version 2.4.2 |