DDC.Core.Module

Modules

data Module a n

isMainModule

moduleDataDefs

moduleTypeDefs

moduleKindEnv

moduleTypeEnv

moduleEnvT

moduleEnvX

modulesEnvT

modulesEnvX

moduleTopBinds

moduleTopBindTypes

mapTopBinds

Module maps

type ModuleMap a n

modulesExportTypes

modulesExportValues

Module Names

data ModuleName

readModuleName

isMainModuleName

moduleNameMatchesPath

Qualified names.

data QualName n

Export Definitions

data ExportSource n t

takeTypeOfExportSource

mapTypeOfExportSource

Import Definitions

Import Types

data ImportType n t

kindOfImportType

mapKindOfImportType

Import Capabilities

data ImportCap n t

typeOfImportCap

mapTypeOfImportCap

Import Types

data ImportValue n t

typeOfImportValue

mapTypeOfImportValue