| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.TypeChecking.Monad.Imports
- addImport :: ModuleName -> TCM ()
- addImportCycleCheck :: TopLevelModuleName -> TCM a -> TCM a
- getImports :: TCM (Set ModuleName)
- isImported :: ModuleName -> TCM Bool
- getImportPath :: TCM [TopLevelModuleName]
- visitModule :: ModuleInfo -> TCM ()
- setVisitedModules :: VisitedModules -> TCM ()
- getVisitedModules :: TCM VisitedModules
- isVisited :: TopLevelModuleName -> TCM Bool
- getVisitedModule :: TopLevelModuleName -> TCM (Maybe ModuleInfo)
- getDecodedModules :: TCM DecodedModules
- setDecodedModules :: DecodedModules -> TCM ()
- getDecodedModule :: TopLevelModuleName -> TCM (Maybe Interface)
- storeDecodedModule :: Interface -> TCM ()
- dropDecodedModule :: TopLevelModuleName -> TCM ()
- withImportPath :: [TopLevelModuleName] -> TCM a -> TCM a
- checkForImportCycle :: TCM ()
Documentation
addImport :: ModuleName -> TCM () Source
addImportCycleCheck :: TopLevelModuleName -> TCM a -> TCM a Source
getImports :: TCM (Set ModuleName) Source
isImported :: ModuleName -> TCM Bool Source
visitModule :: ModuleInfo -> TCM () Source
setVisitedModules :: VisitedModules -> TCM () Source
isVisited :: TopLevelModuleName -> TCM Bool Source
setDecodedModules :: DecodedModules -> TCM () Source
storeDecodedModule :: Interface -> TCM () Source
dropDecodedModule :: TopLevelModuleName -> TCM () Source
withImportPath :: [TopLevelModuleName] -> TCM a -> TCM a Source
checkForImportCycle :: TCM () Source
Assumes that the first module in the import path is the module we are worried about.