kinds for `*'
Serge D. Mechveliani
mechvel at botik.ru
Tue Jan 10 18:41:11 CET 2012
People,
GHC provides some extensions for kinds.
Does this make possible different kinds, for example, for `*' ?
Prelude.Num has * :: a -> a -> a.
And mathematicians also like to denote as `*'
(\cdot in TeX)
a "multiplication of a vector v by a coefficient r". It is expressed by the declaration
class (Num r, ...) => LeftModule r v where * :: r -> v -> v
Regards,
------
Sergei
mechvel at botik.ru
More information about the Glasgow-haskell-users
mailing list