Safe Haskell | None |
---|
- data ModuleInfo = ModuleInfo {}
- moduleName :: ModuleInfo -> ModuleName
- data ModuVerseState
- moduVerseInit :: ModuVerseState
- class (MonadIO m, MonadBaseControl IO m, Functor m) => ModuVerse m where
- getModuVerse :: m ModuVerseState
- modifyModuVerse :: (ModuVerseState -> ModuVerseState) -> m ()
- getNames :: ModuVerse m => m (Set ModuleName)
- getInfo :: ModuVerse m => ModuleName -> m (Maybe ModuleInfo)
- putModule :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m ()
- putModuleAnew :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m PathKey
- findModule :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m (Maybe ModuleInfo)
- delName :: ModuVerse m => ModuleName -> m ()
- getExtensions :: ModuVerse m => m [Extension]
- modifyExtensions :: ModuVerse m => ([Extension] -> [Extension]) -> m ()
- parseModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ModuleInfo
- parseModuleMaybe :: (ModuVerse m, MonadVerbosity m) => Maybe PathKey -> m (Maybe ModuleInfo)
- loadModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ModuleInfo
- unloadModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ()
Documentation
class (MonadIO m, MonadBaseControl IO m, Functor m) => ModuVerse m whereSource
getModuVerse :: m ModuVerseStateSource
modifyModuVerse :: (ModuVerseState -> ModuVerseState) -> m ()Source
MonadClean m => ModuVerse m |
getNames :: ModuVerse m => m (Set ModuleName)Source
getInfo :: ModuVerse m => ModuleName -> m (Maybe ModuleInfo)Source
putModule :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m ()Source
putModuleAnew :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m PathKeySource
findModule :: (ModuVerse m, MonadVerbosity m) => ModuleName -> m (Maybe ModuleInfo)Source
delName :: ModuVerse m => ModuleName -> m ()Source
getExtensions :: ModuVerse m => m [Extension]Source
modifyExtensions :: ModuVerse m => ([Extension] -> [Extension]) -> m ()Source
Modify the list of extensions passed to GHC when dumping the minimal imports. Note that GHC will also use the extensions in the module's LANGUAGE pragma, so this can usually be left alone.
parseModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ModuleInfoSource
parseModuleMaybe :: (ModuVerse m, MonadVerbosity m) => Maybe PathKey -> m (Maybe ModuleInfo)Source
loadModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ModuleInfoSource
Force a possibly cached module to be reloaded.
unloadModule :: (ModuVerse m, MonadVerbosity m) => PathKey -> m ()Source