module DDC.Source.Tetra.Prim.TyConPrim
( kindPrimTyCon
, tVoid, tBool, tNat, tInt, tSize, tWord, tFloat
, tTextLit)
where
import DDC.Source.Tetra.Prim.Base
import DDC.Type.Compounds
import DDC.Type.Exp
kindPrimTyCon :: PrimTyCon -> Kind Name
kindPrimTyCon tc
= case tc of
PrimTyConVoid -> kData
PrimTyConBool -> kData
PrimTyConNat -> kData
PrimTyConInt -> kData
PrimTyConSize -> kData
PrimTyConWord _ -> kData
PrimTyConFloat _ -> kData
PrimTyConVec _ -> kData `kFun` kData
PrimTyConAddr -> kData
PrimTyConPtr -> kRegion `kFun` kData `kFun` kData
PrimTyConTextLit -> kData
PrimTyConTag -> kData
tVoid :: Type Name
tVoid = TCon (TyConBound (UPrim (NameTyCon PrimTyConVoid) kData) kData)
tBool :: Type Name
tBool = TCon (TyConBound (UPrim (NameTyCon PrimTyConBool) kData) kData)
tNat :: Type Name
tNat = TCon (TyConBound (UPrim (NameTyCon PrimTyConNat) kData) kData)
tInt :: Type Name
tInt = TCon (TyConBound (UPrim (NameTyCon PrimTyConInt) kData) kData)
tSize :: Type Name
tSize = TCon (TyConBound (UPrim (NameTyCon PrimTyConSize) kData) kData)
tWord :: Int -> Type Name
tWord bits
= TCon (TyConBound (UPrim (NameTyCon (PrimTyConWord bits)) kData) kData)
tFloat :: Int -> Type Name
tFloat bits
= TCon (TyConBound (UPrim (NameTyCon (PrimTyConFloat bits)) kData) kData)
tTextLit :: Type Name
tTextLit
= TCon (TyConBound (UPrim (NameTyCon PrimTyConTextLit) kData) kData)