DDC.Source.Tetra.Module

Definition of Source Tetra modules.

Modules

data Module l

Constructors

Module

Fields

• moduleName :: !ModuleName

  Name of this module

• moduleExportTypes :: [GTBoundCon l]

  Names of exported types (level-1).

• moduleExportValues :: [GXBoundVar l]

  Names of exported values (level-0).

• moduleImportModules :: [ModuleName]

  Imported modules.

• moduleImportTypes :: [(GTBindCon l, ImportType (GTBindCon l) (GType l))]

  Kinds of imported foreign types.

• moduleImportCaps :: [(GXBindVar l, ImportCap (GXBindVar l) (GType l))]

  Types of imported capabilities.

• moduleImportValues :: [(GXBindVar l, ImportValue (GXBindVar l) (GType l))]

  Types of imported foreign values.

• moduleTops :: [Top l]

  Top-level things

Instances

Defix Module l

Methods

defix :: FixTable l -> Module l -> Either (Error l) (Module l)

ShowLanguage l => Show (Module l)

Methods

showsPrec :: Int -> Module l -> ShowS

show :: Module l -> String

showList :: [Module l] -> ShowS

NFDataLanguage l => NFData (Module l)

Methods

rnf :: Module l -> ()

Expand (Module Source)

Methods

expand :: SourcePos -> Env -> Module Source -> Module Source

isMainModule :: Module l -> Bool

Check if this is the Main module.

data ExportSource n t :: * -> * -> *

Define thing exported from a module.

Constructors

ExportSourceLocal

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

Fields

• exportSourceLocalName :: n
• exportSourceLocalType :: t

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 t) => Show (ExportSource n t)

Methods

showsPrec :: Int -> ExportSource n t -> ShowS

show :: ExportSource n t -> String

showList :: [ExportSource n t] -> ShowS

(NFData n, NFData t) => NFData (ExportSource n t)

Methods

rnf :: ExportSource n t -> ()

data ImportType n t :: * -> * -> *

Define a 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 :: ~t

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 :: ~t

Instances

Show t => Show (ImportType n t)

Methods

showsPrec :: Int -> ImportType n t -> ShowS

show :: ImportType n t -> String

showList :: [ImportType n t] -> ShowS

(NFData n, NFData t) => NFData (ImportType n t)

Methods

rnf :: ImportType n t -> ()

data ImportCap n t :: * -> * -> *

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 :: ~t

Instances

Show t => Show (ImportCap n t)

Methods

showsPrec :: Int -> ImportCap n t -> ShowS

show :: ImportCap n t -> String

showList :: [ImportCap n t] -> ShowS

(NFData n, NFData t) => NFData (ImportCap n t)

Methods

rnf :: ImportCap n t -> ()

data ImportValue n t :: * -> * -> *

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 :: ~t

  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 :: ~t

  Type of the value that we're importing.

Instances

(Show n, Show t) => Show (ImportValue n t)

Methods

showsPrec :: Int -> ImportValue n t -> ShowS

show :: ImportValue n t -> String

showList :: [ImportValue n t] -> ShowS

(NFData n, NFData t) => NFData (ImportValue n t)

Methods

rnf :: ImportValue n t -> ()

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)

Methods

showsPrec :: Int -> QualName n -> ShowS

show :: QualName n -> String

showList :: [QualName n] -> ShowS

NFData n => NFData (QualName n)

Methods

rnf :: QualName n -> ()

data ModuleName :: *

A hierarchical module name.

Constructors

ModuleName [String]

Instances

Eq ModuleName

Methods

(==) :: ModuleName -> ModuleName -> Bool

(/=) :: ModuleName -> ModuleName -> Bool

Ord ModuleName

Methods

compare :: ModuleName -> ModuleName -> Ordering

(<) :: ModuleName -> ModuleName -> Bool

(<=) :: ModuleName -> ModuleName -> Bool

(>) :: ModuleName -> ModuleName -> Bool

(>=) :: ModuleName -> ModuleName -> Bool

max :: ModuleName -> ModuleName -> ModuleName

min :: ModuleName -> ModuleName -> ModuleName

Show ModuleName

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

NFData ModuleName

Methods

rnf :: 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 :: GXAnnot l
• topClause :: GClause l

TopData

Data type definition.

Fields

• topAnnot :: GXAnnot l
• topDataDef :: DataDef l

TopType

Type binding.

Fields

• topAnnot :: GXAnnot l
• topTypeBind :: GTBindCon l
• topTypeExp :: GType l

Instances

Defix Top l

Methods

defix :: FixTable l -> Top l -> Either (Error l) (Top l)

ShowLanguage l => Show (Top l)

Methods

showsPrec :: Int -> Top l -> ShowS

show :: Top l -> String

showList :: [Top l] -> ShowS

NFDataLanguage l => NFData (Top l)

Methods

rnf :: Top l -> ()

Expand (Top Source)

Methods

expand :: SourcePos -> Env -> Top Source -> Top Source

Data type definitions

data DataDef l

Data type definitions.

Constructors

DataDef

Fields

• dataDefTypeName :: !(GTBindCon l)

  Data type name.

• dataDefParams :: [(GTBindVar l, GType l)]

  Type parameters and their kinds.

• dataDefCtors :: [DataCtor l]

  Parameters and return type of each constructor.

Instances

(ShowLanguage l, Show (DataCtor l)) => Show (DataDef l)

Methods

showsPrec :: Int -> DataDef l -> ShowS

show :: DataDef l -> String

showList :: [DataDef l] -> ShowS

NFData (DataDef n)

Methods

rnf :: DataDef n -> ()