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

Rep TyCon

NFData TyCon

Alpha TyCon

Pretty TyCon

(Sat (ctx0 TyConName), Sat (ctx0 Kind), Sat (ctx0 Int), Sat (ctx0 AlgTyConRhs), Sat (ctx0 [([Type], Type)])) => Rep1 ctx TyCon

Subst Term TyCon

Subst Type TyCon

NFData (Name 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

Rep AlgTyConRhs

NFData AlgTyConRhs

Alpha AlgTyConRhs

(Sat (ctx0 [DataCon]), Sat (ctx0 DataCon), Sat (ctx0 ([TyName], Type))) => Rep1 ctx AlgTyConRhs

Subst Term AlgTyConRhs

Subst Type 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