Personal tools

Type functions

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m
Current revision (00:04, 14 August 2007) (edit) (undo)
m
 
(One intermediate revision 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]]
[[Category:Type-level programming]]

Current revision

GHC supports type functions in the form of type families.

Retrieved from "http://www.haskell.org/haskellwiki/Type_functions"

Categories: Proposals | Type-level programming