[Haskell-cafe] Re: Newbie question

Jon Fairbairn jon.fairbairn at cl.cam.ac.uk
Tue Jan 22 05:04:48 EST 2008

Bulat Ziganshin <bulat.ziganshin at gmail.com> 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                                 Jon.Fairbairn at cl.cam.ac.uk

More information about the Haskell-Cafe mailing list