Vectorise.Type.Repr

ghc-7.0.4: The GHC API

Vectorise.Type.Repr

Description

Representation of Algebraic Data Types.

# Documentation

data CompRepr

Constructors

Keep Type CoreExpr |
Wrap Type |

data ProdRepr

Constructors

EmptyProd |
UnaryProd CompRepr |
Prod |
Fields repr_tup_tc :: TyCon repr_ptup_tc :: TyCon repr_comp_tys :: [Type] repr_comps :: [CompRepr]

data ConRepr

Constructors

ConRepr DataCon ProdRepr |

data SumRepr

Constructors

EmptySum |
UnarySum ConRepr |
Sum |
Fields repr_sum_tc :: TyCon repr_psum_tc :: TyCon repr_sel_ty :: Type repr_con_tys :: [Type] repr_cons :: [ConRepr]

tyConRepr :: TyCon -> VM SumRepr

sumReprType :: SumRepr -> VM Type

conReprType :: ConRepr -> VM Type

prodReprType :: ProdRepr -> VM Type

compReprType :: CompRepr -> VM Type

compOrigType :: CompRepr -> Type