Arrow Classes

Marcin 'Qrczak' Kowalczyk qrczak@knm.org.pl
Mon, 14 Jul 2003 15:36:39 +0200


Dnia pon 14. lipca 2003 10:18, Graham Klyne napisał:

> I must be missing something... isn't the effect achieved by:
>    class (Add a, Subtract a, FromInteger a, Eq a, Multiply a, ...) => Num a
> ?

It doesn't provide instances of Num for anything which is already an instance 
of the other classes. And in Haskell 98 they must be defined separately for 
each type, instance (...) => Num a doesn't work.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/