| |||||||||||||||||||||||||
| |||||||||||||||||||||||||
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.3.0 |