Difference between revisions of "Multi-parameter type class"
Jump to navigation
Jump to 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 [[ |
+ | 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 == |
Revision as of 14:42, 11 August 2008
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.