Multi-parameter type class
From HaskellWiki
(Difference between revisions)
(basics) |
m (→About: minor wibble) |
||
| Line 5: | Line 5: | ||
== About == | == About == | ||
| - | Basically, type | + | Basically, [[type]] [[class]]es which can take multiple arguments, such as: |
<hask> | <hask> | ||
| Line 11: | Line 11: | ||
</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 == | ||
[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 17:23, 28 August 2007
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.
