DDC.Core.Module

Modules

data Module a n

isMainModule

moduleDataDefs

moduleKindEnv

moduleTypeEnv

moduleTopBinds

moduleTopBindTypes

mapTopBinds

Module maps

type ModuleMap a n

modulesExportTypes

modulesExportValues

Module Names

data ModuleName

readModuleName

isMainModuleName

Qualified names.

data QualName n

Export Definitions

data ExportSource n

takeTypeOfExportSource

mapTypeOfExportSource

Import Definitions

Import Types

data ImportType n

kindOfImportType

mapKindOfImportType

Import Capabilities

data ImportCap n

typeOfImportCap

mapTypeOfImportCap

Import Types

data ImportValue n

typeOfImportValue

mapTypeOfImportValue