[Haskell] class functional depency inference?
hpacheco at gmail.com
Sat Jun 16 10:48:49 EDT 2007
Hi, I have resumed my problem to the following.
In this small example, the type checker always complains, and do need to
write something similar that would use the functional dependency to infere
the type b.
class SomeClass a b | a -> b
instance SomeClass Int Bool
test :: SomeClass a b => a -> b
test 1 = True
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell