Changes between Version 1 and Version 2 of MultiParamTypeClasses


Ignore:
Timestamp:
Nov 29, 2005 12:10:57 PM (9 years ago)
Author:
ross@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • MultiParamTypeClasses

    v1 v2  
    77 
    88== References == 
    9  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#multi-param-type-classes] GHC documentation. 
     9 
     10 * [http://research.microsoft.com/Users/simonpj/Papers/type-class-design-space/ Type classes: exploring the design space] by Simon Peyton Jones, Mark Jones and Erik Meijer, Haskell Workshop 1997. 
     11 
     12 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#multi-param-type-classes GHC documentation] 
     13 
     14Multiparameter type classes are used twice in the `base` package of the 
     15[http://www.haskell.org/ghc/docs/latest/html/libraries/index.html Haskell hierarchical libraries]: 
     16{{{ 
     17class HasBounds a => IArray a e 
     18class (HasBounds a, Monad m) => MArray a e m 
     19}}} 
     20The instances supplied do not overlap. 
     21 
     22They also seem to be needed, with OverlappingInstances, for container and monad classes. 
    1023 
    1124== Pros ==