DDC.Source.Tetra.DataDef

Source Tetra data type definitions.

Data Type Definition.

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 -> ()

envOfDataDef :: DataDef Source -> Env

Take the types of data constructors from a data type definition.

Data Constructor Definition.

data DataCtor l

A data type constructor definition.

Constructors

DataCtor

Fields

• dataCtorName :: !(GXBindCon l)

  Name of the data constructor.

• dataCtorFieldTypes :: ![GType l]

  Types of each of the fields of the constructor.

• dataCtorResultType :: !(GType l)

  Result type of the constructor.

Instances

ShowLanguage l => Show (DataCtor l)

Methods

showsPrec :: Int -> DataCtor l -> ShowS

show :: DataCtor l -> String

showList :: [DataCtor l] -> ShowS

NFData (DataCtor n)

Methods

rnf :: DataCtor n -> ()

typeOfDataCtor :: DataDef l -> DataCtor l -> GType l

Get the type of a data constructor.