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.