Multi-parameter type class
From HaskellWiki
(Difference between revisions)
m (→About: minor wibble) |
m (Fix link: type classes) |
||
| Line 5: | Line 5: | ||
== About == | == About == | ||
| - | Basically, [[type | + | Basically, [[type class|type classes]] which can take multiple arguments, such as: |
<hask> | <hask> | ||
Revision as of 16:01, 23 January 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.
