[Haskell-cafe] instance Eq (a -> b)

[Ivan Lazar Miljenovic]

Ashley Yakeley <ashley at semantic.org> writes:

> On Wed, 2010-04-14 at 16:11 +1000, Ivan Miljenovic wrote:
>> but the only way you can "prove" it in
>> Haskell is by comparing the values for the entire domain (which gets
>> computationally expensive)...
>
> It's not expensive if the domain is, for instance, Bool.

You didn't make such a restriction; you wanted it for _all_ function types.


-- 
Ivan Lazar Miljenovic
Ivan.Miljenovic at gmail.com
IvanMiljenovic.wordpress.com