"cartesian classes"

[David Bergman]

Curly enough...

Thanks,

David

-----Original Message-----
From: haskell-admin@haskell.org [mailto:haskell-admin@haskell.org] On
Behalf Of Hal Daume III
Sent: Tuesday, November 26, 2002 1:40 PM
To: David Bergman
Cc: 'Haskell Mailing List'
Subject: RE: "cartesian classes"

> A very concrete, but na=EFve, question: what is the syntax for =
defining
> functional dependencies in Hugs and GHC? Since Mark Jones' syntax was
> abstract in his paper, it is kind of hard to deduce an ASCII
equivalence
> (I have tried to figure out how to create a curly arrow from the
> keyboard ;-)

I can't comment on the rest, but for this:


class Foo a b c e | a b -> c, b -> c d where ...


means "a and b together determing c, and b by itself determines c and d"

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell