Hi

increase :: NumDictionary a -> a -> a

where NumDictionary is a data value which contains the
implementations of the methods of the num class.

It might look something like this:

   data NumDictionary a =
      NumDict
      { numPlus :: a -> a -> a
      , numTimes :: a -> a -> a
      , numFromInteger :: Integer -> a
      ... and so on ...
      }

Hopefully my explanation is correct and helpful.

Much clearer than my explanation. The only slight detail is that Yhc
uses tuples for the dictionaries, although we're not convinced that is
a great idea anyway.

Thanks

Neil
_______________________________________________
Yhc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/yhc

Reply via email to