CLaSH.Core.TyCon

Type Constructors in CoreHW

Documentation

data TyCon

Type Constructor

Constructors

AlgTyCon

Algorithmic DataCons

Fields

tyConName :: !TyConName

Name of the TyCon

tyConKind :: !Kind

Kind of the TyCon

tyConArity :: !Int

Number of type arguments

algTcRhs :: !AlgTyConRhs

DataCon definitions

FunTyCon

Function TyCons (e.g. type families)

Fields

tyConName :: !TyConName

Name of the TyCon

tyConKind :: !Kind

Kind of the TyCon

tyConArity :: !Int

Number of type arguments

tyConSubst :: [([Type], Type)]

List of: ([LHS match types], RHS type)

PrimTyCon

Primitive TyCons

Fields

tyConName :: !TyConName

Name of the TyCon

tyConKind :: !Kind

Kind of the TyCon

tyConArity :: !Int

Number of type arguments

SuperKindTyCon

To close the loop on the type hierarchy

Fields

tyConName :: !TyConName

Name of the TyCon

Instances

Eq TyCon

Ord TyCon

Show TyCon

Generic TyCon

NFData TyCon

Alpha TyCon

Pretty TyCon

type Rep TyCon

type TyConName = Name TyCon

TyCon reference

data AlgTyConRhs

The RHS of an Algebraic Datatype

Constructors

DataTyCon

Fields

dataCons :: [DataCon]

The DataCons of a TyCon

NewTyCon

Fields

dataCon :: !DataCon

The newtype DataCon

ntEtadRhs :: ([TyName], Type)

The argument type of the newtype DataCon in eta-reduced form, which is just the representation of the TyCon. The TyName's are the type-variables from the corresponding TyCon.

Instances

Show AlgTyConRhs

Generic AlgTyConRhs

NFData AlgTyConRhs

Alpha AlgTyConRhs

type Rep AlgTyConRhs

mkKindTyCon :: TyConName -> Kind -> TyCon

Create a Kind out of a TyConName

isTupleTyConLike :: TyConName -> Bool

Does the TyCon look like a tuple TyCon

tyConDataCons :: TyCon -> [DataCon]

Get the DataCons belonging to a TyCon