Difference between revisions of "Type functions"
Jump to navigation
Jump to search
m |
m |
||
(5 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
− | + | 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 |
+ | [[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.