Curly enough...

Thanks,

David

-----Original Message-----
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]] 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ïve, 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
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to