Thanks to both fast answers.
there remain problems with Jakes mail for me. This:
When you define datatypes, you are essentially defining a type-level
constructors on the left hand side and (value-level) constructors on
the right hand side.
is very useful for me. data defines TWO
2007/12/30, Joost Behrends [EMAIL PROTECTED]:
. Now, let's say we had tried defining ClockTime with parameters as
you suggested.
ClockTime' :: Integer - Integer - *
Do you see the problem? In order to use the ClockTime type
constructor, we would have to use Integer values.
On Dec 30, 2007, at 12:32 PM, Joost Behrends wrote:
Thanks to both fast answers.
there remain problems with Jakes mail for me. This:
When you define datatypes, you are essentially defining a type-level
constructors on the left hand side and (value-level) constructors on
the right hand side.