Difference between revisions of "Type functions"
Jump to navigation
Jump to search
DonStewart (talk | contribs) (stub page for type functions) |
m (Reverted edits by Tomjaguarpaw (talk) to last revision by Chak) |
||
| (5 intermediate revisions by 3 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]] |
||
Revision as of 15:16, 6 February 2021
GHC supports type functions in the form of type families.