Difference between revisions of "Type functions"

From HaskellWiki
Jump to: navigation, search
m
m (Reverted edits by Tomjaguarpaw (talk) to last revision by Chak)
 
(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]]

Latest revision as of 15:16, 6 February 2021

GHC supports type functions in the form of type families.