DDC.Core.Module

Modules

data Module a n

A module can be mutually recursive with other modules.

Constructors

ModuleCore

Fields

moduleName :: !ModuleName

Name of this module.

moduleExportTypes :: ![(n, ExportSource n)]

Kinds of exported types.

moduleExportValues :: ![(n, ExportSource n)]

Types of exported values.

moduleImportTypes :: ![(n, ImportSource n)]

Kinds of imported types, along with the name of the module they are from. These imports come from a Disciple module, that we've compiled ourself.

moduleImportValues :: ![(n, ImportSource n)]

Types of imported values, along with the name of the module they are from. These imports come from a Disciple module, that we've compiled ourself.

moduleDataDefsLocal :: ![DataDef n]

Data types defined in this module.

moduleBody :: !(Exp a n)

The module body consists of some let-bindings wrapping a unit data constructor. We're only interested in the bindings, with the unit being just a place-holder.

Instances

Typeable2 Module

Reannotate Module

Complies Module

SpreadX (Module a)

BindStruct (Module a)

(Show a, Show n) => Show (Module a n)

(Pretty n, Eq n) => Pretty (Module a n)

(NFData a, NFData n) => NFData (Module a n)

isMainModule :: Module a n -> Bool

Check if this is the Main module.

moduleKindEnv :: Ord n => Module a n -> KindEnv n

Get the top-level kind environment of a module, from its imported types.

moduleTypeEnv :: Ord n => Module a n -> TypeEnv n

Get the top-level type environment of a module, from its imported values.

moduleTopBinds :: Ord n => Module a n -> Set n

Get the set of top-level value bindings in a module.

moduleTopBindTypes :: Ord n => Module a n -> Map n (Type n)

Get a map of named top-level bindings to their types.

Module maps

type ModuleMap a n = Map ModuleName (Module a n)

Map of module names to modules.

modulesExportTypes :: Ord n => ModuleMap a n -> KindEnv n -> KindEnv n

Add the kind environment exported by all these modules to the given one.

modulesExportValues :: Ord n => ModuleMap a n -> TypeEnv n -> TypeEnv n

Add the type environment exported by all these modules to the given one.

Module Names

data QualName n

A fully qualified name, including the name of the module it is from.

Constructors

QualName ModuleName n

Instances

Show n => Show (QualName n)

NFData n => NFData (QualName n)

data ModuleName

A hierarchical module name.

Constructors

ModuleName [String]

Instances

Eq ModuleName

Ord ModuleName

Show ModuleName

Typeable ModuleName

Pretty ModuleName

NFData ModuleName

isMainModuleName :: ModuleName -> Bool

Check whether this is the name of the "Main" module.

Export Sources

data ExportSource n

Constructors

ExportSourceLocal

A name defined in this module, with an explicit type.

Fields

exportSourceLocalName :: n

exportSourceLocalType :: Type n

ExportSourceLocalNoType

A named defined in this module, without a type attached. We use this version for source language where we infer the type of the exported thing.

Fields

exportSourceLocalName :: n

Instances

SpreadT ExportSource

Eq n => Eq (ExportSource n)

Show n => Show (ExportSource n)

NFData n => NFData (ExportSource n)

takeTypeOfExportSource :: ExportSource n -> Maybe (Type n)

Take the type of an imported thing, if there is one.

mapTypeOfExportSource :: (Type n -> Type n) -> ExportSource n -> ExportSource n

Apply a function to any type in an ExportSource.

Import Sources

data ImportSource n

Source of some imported thing.

Constructors

ImportSourceAbstract

A type imported abstractly. It may be defined in a foreign language, but the Disciple program treats it abstractly.

Fields

importSourceAbstractType :: Type n

ImportSourceModule

Something imported from a Disciple module that we compiled ourself.

Fields

importSourceModuleName :: ModuleName

importSourceModuleVar :: n

importSourceModuleType :: Type n

ImportSourceSea

Something imported via the C calling convention.

Fields

importSourceSeaVar :: String

importSourceSeaType :: Type n

Instances

SpreadX ImportSource

Eq n => Eq (ImportSource n)

Show n => Show (ImportSource n)

NFData n => NFData (ImportSource n)

typeOfImportSource :: ImportSource n -> Type n

Take the type of an imported thing.

mapTypeOfImportSource :: (Type n -> Type n) -> ImportSource n -> ImportSource n

Apply a function to the type in an ImportSource.