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