Personal tools

Multi-parameter type class

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(basics)
 
(Glossary)
(2 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
[[Category:Language extensions]]
 
[[Category:Language extensions]]
 +
[[Category:Glossary]]
 
[[Category:Stub articles]]
 
[[Category:Stub articles]]
  
Line 5: Line 6:
 
== About ==
 
== About ==
  
Basically, type classes which can take multiple arguments, such as:
+
Basically, [[type class|type classes]] which can take multiple arguments, such as:
  
 
<hask>
 
<hask>
Line 11: Line 12:
 
</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 14:42, 11 August 2008


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