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