kinds for `*'

Serge D. Mechveliani mechvel at
Tue Jan 10 18:41:11 CET 2012


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


mechvel at

More information about the Glasgow-haskell-users mailing list