clash-lib-0.5: CAES Language for Synchronous Hardware - As a Library

Safe HaskellNone
LanguageHaskell2010

CLaSH.Core.DataCon

Description

Data Constructors in CoreHW

Synopsis

Documentation

data DataCon Source

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

type DcName = Name DataCon Source

DataCon reference

type ConTag = Int Source

Syntactical position of the DataCon in the type definition

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

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.