Difference between revisions of "Type functions"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (stub page for type functions) |
m |
||
| (6 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 programming]] |
||
| + | [[Category:Stub articles]] |
||
Latest revision as of 23:06, 11 July 2021
GHC supports type functions in the form of type families.