Safe Haskell	None
Language	Haskell98

DDC.Source.Tetra.DataDef

Contents

Description

Source Tetra data type definitions.

Synopsis

Data Type Definition.

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) Source #
Methods showsPrec :: Int -> DataDef l -> ShowS # show :: DataDef l -> String # showList :: [DataDef l] -> ShowS #
NFData (DataDef n) Source #
Methods rnf :: DataDef n -> () #

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

Data Constructor Definition.

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) Source #
Methods showsPrec :: Int -> DataCtor l -> ShowS # show :: DataCtor l -> String # showList :: [DataCtor l] -> ShowS #
NFData (DataCtor n) Source #
Methods rnf :: DataCtor n -> () #

Get the type of a data constructor.