Difference between revisions of "Multi-parameter type class"
Jump to navigation
Jump to search
(basics) |
(No difference)
|
Revision as of 13:08, 26 August 2007
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.