Safe Haskell | None |
---|---|
Language | Haskell2010 |
Type Constructors in CoreHW
- data TyCon
- = AlgTyCon {
- tyConName :: TyConName
- tyConKind :: Kind
- tyConArity :: Int
- algTcRhs :: AlgTyConRhs
- | FunTyCon {
- tyConName :: TyConName
- tyConKind :: Kind
- tyConArity :: Int
- tyConSubst :: [([Type], Type)]
- | PrimTyCon { }
- | SuperKindTyCon { }
- = AlgTyCon {
- type TyConName = Name TyCon
- data AlgTyConRhs
- mkKindTyCon :: TyConName -> Kind -> TyCon
- isTupleTyConLike :: TyConName -> Bool
- tyConDataCons :: TyCon -> [DataCon]
Documentation
Type Constructor
AlgTyCon | Algorithmic DataCons |
| |
FunTyCon | Function TyCons (e.g. type families) |
| |
PrimTyCon | Primitive TyCons |
SuperKindTyCon | To close the loop on the type hierarchy |
mkKindTyCon :: TyConName -> Kind -> TyCon Source
Create a Kind out of a TyConName
isTupleTyConLike :: TyConName -> Bool Source
Does the TyCon look like a tuple TyCon
tyConDataCons :: TyCon -> [DataCon] Source
Get the DataCons belonging to a TyCon