Multi-parameter type class
From HaskellWiki
(Difference between revisions)
m (Fix link: type classes) |
(Glossary) |
||
| Line 1: | Line 1: | ||
[[Category:Language extensions]] | [[Category:Language extensions]] | ||
| + | [[Category:Glossary]] | ||
[[Category:Stub articles]] | [[Category:Stub articles]] | ||
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.
