Changes between Version 1 and Version 2 of MultiParamTypeClasses


Ignore:
Timestamp:
Nov 29, 2005 12:10:57 PM (10 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 ==