Unequal types constraint

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Unequal types constraint

Imants Cekusins
class C a b

instance C Int a    -- when a /= Int

instance C a a     -- when a == a


how would you do this without IncoherentInstances?
_______________________________________________
Beginners mailing list
[hidden email]
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners