Vectorise.Type.Repr
Description
Representation of Algebraic Data Types.
Documentation
data ProdRepr
Constructors
| EmptyProd | |
| UnaryProd CompRepr | |
| Prod | |
Fields
| |
data SumRepr
Constructors
| EmptySum | |
| UnarySum ConRepr | |
| Sum | |
Fields
| |
sumReprType :: SumRepr -> VM Type
conReprType :: ConRepr -> VM Type
prodReprType :: ProdRepr -> VM Type
compReprType :: CompRepr -> VM Type
compOrigType :: CompRepr -> Type