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