Personal tools

Multi-parameter type class

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(basics)
 
m (About: minor wibble)
Line 5: Line 5:
 
== About ==
 
== About ==
  
Basically, type classes which can take multiple arguments, such as:
+
Basically, [[type]] [[class]]es which can take multiple arguments, such as:
  
 
<hask>
 
<hask>
Line 11: Line 11:
 
</hask>
 
</hask>
  
Without [[Functional dependencies]] or [[Associated types]], these multi-parameter type classes may cause too much ambiguity to pass the type-checker.
+
Without [[functional dependencies]] or [[associated types]], these multi-parameter type classes may cause too much ambiguity to pass the type-checker.
  
 
== Also see ==
 
== Also see ==
  
 
[http://hackage.haskell.org/trac/haskell-prime/wiki/MultiParamTypeClasses The Haskell' page]
 
[http://hackage.haskell.org/trac/haskell-prime/wiki/MultiParamTypeClasses The Haskell' page]

Revision as of 17:23, 28 August 2007


1 About

Basically, type classes which can take multiple arguments, such as:

class Foo a b

Without functional dependencies or associated types, these multi-parameter type classes may cause too much ambiguity to pass the type-checker.

2 Also see

The Haskell' page