Difference between revisions of "Type functions"
Jump to navigation
Jump to search
m |
|||
Line 1: | Line 1: | ||
− | + | GHC supports type functions in the form of [[GHC/Types 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]] |
Revision as of 00:03, 14 August 2007
GHC supports type functions in the form of type families.