Documentation

addImport :: ModuleName -> TCM () Source #

addImportCycleCheck :: TopLevelModuleName -> TCM a -> TCM a Source #

getImports :: TCM (Set ModuleName) Source #

isImported :: ModuleName -> TCM Bool Source #

getImportPath :: TCM [TopLevelModuleName] Source #

visitModule :: ModuleInfo -> TCM () Source #

setVisitedModules :: VisitedModules -> TCM () Source #

getVisitedModules :: TCM VisitedModules Source #

isVisited :: TopLevelModuleName -> TCM Bool Source #

getVisitedModule :: TopLevelModuleName -> TCM (Maybe ModuleInfo) Source #

mapVisitedModule :: TopLevelModuleName -> (ModuleInfo -> ModuleInfo) -> TCM () Source #

getDecodedModules :: TCM DecodedModules Source #

setDecodedModules :: DecodedModules -> TCM () Source #

getDecodedModule :: TopLevelModuleName -> TCM (Maybe Interface) Source #

storeDecodedModule :: Interface -> TCM () Source #

dropDecodedModule :: TopLevelModuleName -> TCM () Source #

withImportPath :: [TopLevelModuleName] -> TCM a -> TCM a Source #

checkForImportCycle :: TCM () Source #