Am Montag, 17. Dezember 2007 20:32 schrieb Paulo J. Matos:
> Hello all,
>
> I've came across a problem which would be best implemented if I could
> define what I think to be a Type Relation. Let's consider classes as
> being type properties.
> When you say:
> class Num a where
>(+) :: a -> a ->
On Dec 17, 2007 8:36 PM, Wolfgang Jeltsch <[EMAIL PROTECTED]> wrote:
>
> Isn't this what multi-parameter type classes are about?
>
I didn't know about those. I'll check them out. Thanks for the pointer.
> By the way, such questions are better asked on the Haskell Mailing List or the
> Haskell Caf
Hello all,
I've came across a problem which would be best implemented if I could
define what I think to be a Type Relation. Let's consider classes as
being type properties.
When you say:
class Num a where
(+) :: a -> a -> a
...
it defines a property of the type a. Basically all types a of clas