Bulat Ziganshin <[EMAIL PROTECTED]> writes: > Hello Jon, > > Monday, January 21, 2008, 9:28:09 PM, you wrote: > >>> Ok. I have a my own class "class A a" and want to write function like >>> this "f:: (A a)=>Integer->a". Can I do it? > >> But in general you are going to want something a bit more >> useful, which means that you have to have a path from >> Integer to a > > i.e. you should have other functions that produce A from Integer and > at the last end this means that class A should provide some way to > do it
I'm not sure we're using the same terminology. In the example I gave, the class A doesn't provide anything from Integer to a, unless defining an overloaded function outside the class definition counts as the class providing something. -- Jón Fairbairn [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
