Agda.TypeChecking.Monad.Imports

addImport

addImportCycleCheck

getImports

isImported

getImportPath

visitModule

setVisitedModules

getVisitedModules

isVisited

getVisitedModule

getDecodedModules

setDecodedModules

getDecodedModule

storeDecodedModule

dropDecodedModule

withImportPath

checkForImportCycle