Personal tools

Type functions

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(stub page for type functions)
 
m
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
Type functions in Haskell are supported in a number of ways.
+
GHC supports type functions in the form of [[GHC/Type families|type families]].
 
+
Todo: fill this out.
+
 
+
== Type functions and type classes ==
+
 
+
Todo
+
 
+
== Type functions and functional dependencies ==
+
 
+
Todo
+
 
+
== Type functions and associated types ==
+
 
+
Details of the new support for type functions is available [http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions here]
+
  
 
[[Category:Proposals]]
 
[[Category:Proposals]]
 +
[[Category:Type-level programming]]

Latest revision as of 00:04, 14 August 2007

GHC supports type functions in the form of type families.