CLaSH.Core.DataCon

Data Constructors in CoreHW

Documentation

data DataCon

Data Constructor

Constructors

MkData

Fields

dcName :: !DcName

Name of the DataCon

dcTag :: !ConTag

Syntactical position in the type definition

dcType :: !Type

Type of the 'DataCon

dcUnivTyVars :: [TyName]

Universally quantified type-variables, these type variables are also part of the result type of the DataCon

dcExtTyVars :: [TyName]

Existentially quantified type-variables, these type variables are not part of the result of the DataCon, but only of the arguments.

dcArgTys :: [Type]

Argument types

Instances

Eq DataCon

Ord DataCon

Show DataCon

Generic DataCon

NFData DataCon

Alpha DataCon

Pretty DataCon

Subst a DataCon

type Rep DataCon

type DcName = Name DataCon

DataCon reference

type ConTag = Int

Syntactical position of the DataCon in the type definition

dataConInstArgTys :: DataCon -> [Type] -> [Type]

Given a DataCon and a list of types, the type variables of the DataCon type are substituted for the list of types. The argument types are returned.

The list of types should be equal to the number of type variables, otherwise an error is reported.