ghc-7.2.2: The GHC API

Vectorise.Type.Repr

Description

Representation of Algebraic Data Types.

Documentation

data CompRepr Source

Constructors

Keep Type CoreExpr 
Wrap Type 

data ProdRepr Source

Constructors

EmptyProd 
UnaryProd CompRepr 
Prod 

Fields

repr_tup_tc :: TyCon
 
repr_ptup_tc :: TyCon
 
repr_comp_tys :: [Type]
 
repr_comps :: [CompRepr]
 

data ConRepr Source

Constructors

ConRepr DataCon ProdRepr 

data SumRepr Source

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 SumReprSource

sumReprType :: SumRepr -> VM TypeSource

conReprType :: ConRepr -> VM TypeSource

prodReprType :: ProdRepr -> VM TypeSource

compReprType :: CompRepr -> VM TypeSource

compOrigType :: CompRepr -> TypeSource