DDC.Source.Tetra.Module

Definition of Source Tetra modules.

Modules

data Module l

Constructors

Module

Fields

moduleName :: !ModuleName

Name of this module

moduleExportTypes :: [GName l]

Names of exported types (level-1).

moduleExportValues :: [GName l]

Names of exported values (level-0).

moduleImportModules :: [ModuleName]

Imported modules.

moduleImportTypes :: [(GName l, ImportType (GName l))]

Kinds of imported foreign types.

moduleImportCaps :: [(GName l, ImportCap (GName l))]

Types of imported capabilities.

moduleImportValues :: [(GName l, ImportValue (GName l))]

Types of imported foreign values.

moduleTops :: [Top l]

Top-level things

Instances

ExpandLanguage l => Expand Module l

Defix Module l

ShowLanguage l => Show (Module l)

NFDataLanguage l => NFData (Module l)

isMainModule :: Module l -> Bool

Check if this is the Main module.

data ExportSource n :: * -> *

Define thing exported from a module.

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

Show n => Show (ExportSource n)

NFData n => NFData (ExportSource n)

data ImportType n :: * -> *

Define a foreign type being imported into a module.

Constructors

ImportTypeAbstract

Type imported abstractly.

Used for phantom types of kind Data, as well as regions, effects, and any other type that does not have kind Data. When a type is imported abstractly it has no associated values, so we can just say that we have the type without worrying about how to represent its associated values.

Fields

importTypeAbstractType :: !(Kind n)

ImportTypeBoxed

Type of some boxed data.

The objects follow the standard heap object layout, but the code that constructs and destructs them may have been written in a different language.

This is used when importing data types defined in Salt modules.

Fields

importTypeBoxed :: !(Kind n)

Instances

Show n => Show (ImportType n)

NFData n => NFData (ImportType n)

data ImportCap n :: * -> *

Define a foreign capability being imported into a module.

Constructors

ImportCapAbstract

Capability imported abstractly. For capabilities like (Read r) for some top-level region r we can just say that we have the capability.

Fields

importCapAbstractType :: !(Type n)

Instances

Show n => Show (ImportCap n)

NFData n => NFData (ImportCap n)

data ImportValue n :: * -> *

Define a foreign value being imported into a module.

Constructors

ImportValueModule

Value imported from a module that we compiled ourselves.

Fields

importValueModuleName :: !ModuleName

Name of the module that we're importing from.

importValueModuleVar :: !n

Name of the the value that we're importing.

importValueModuleType :: !(Type n)

Type of the value that we're importing.

importValueModuleArity :: !(Maybe (Int, Int, Int))

Calling convention for this value, including the number of type parameters, value parameters, and boxings.

ImportValueSea

Value imported via the C calling convention.

Fields

importValueSeaVar :: !String

Name of the symbol being imported. This can be different from the name that we give it in the core language.

importValueSeaType :: !(Type n)

Type of the value that we're importing.

Instances

Show n => Show (ImportValue n)

NFData n => NFData (ImportValue n)

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

NFData ModuleName

isMainModuleName :: ModuleName -> Bool

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

Top-level things

data Top l

Constructors

TopClause

Some top-level, possibly recursive clauses.

Fields

topAnnot :: GAnnot l

topClause :: GClause l

TopData

Data type definition.

Fields

topAnnot :: GAnnot l

topDataDef :: DataDef (GName l)

Instances

ExpandLanguage l => Expand Top l

Defix Top l

ShowLanguage l => Show (Top l)

NFDataLanguage l => NFData (Top l)

Data type definitions

data DataDef n

Data type definitions.

Constructors

DataDef

Fields

dataDefTypeName :: !n

Data type name.

dataDefParams :: [Bind n]

Type parameters.

dataDefCtors :: [DataCtor n]

Parameters and return type of each constructor.

Instances

Show n => Show (DataDef n)

NFData (DataDef n)