Difference between revisions of "Type functions"

From HaskellWiki
Jump to: navigation, search
(stub page for type functions)
 
m
 
(6 intermediate revisions by 4 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]]
  +
[[Category:Stub articles]]

Latest revision as of 23:06, 11 July 2021

GHC supports type functions in the form of type families.