Bulat Ziganshin
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 Jon.Fairbairn@cl.cam.ac.uk