DDC.Core.Module

Modules

data Module a n

isMainModule

moduleKindEnv

moduleTypeEnv

moduleTopBinds

moduleTopBindTypes

Module maps

type ModuleMap a n

modulesExportTypes

modulesExportValues

Module Names

data QualName n

data ModuleName

isMainModuleName

Export Sources

data ExportSource n

takeTypeOfExportSource

mapTypeOfExportSource

Import Sources

data ImportSource n

typeOfImportSource

mapTypeOfImportSource