Personal tools

Multi-parameter type class

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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 [[Functional dependencies]] or [[Associated types]], these multi-parameter type classes may cause too much ambiguity to pass the type-checker.
+
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


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