Personal tools

Multi-parameter type class

From HaskellWiki

Revision as of 13:08, 26 August 2007 by Mrd (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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.

2 Also see

The Haskell' page