Concept类型族
TypeFamilies
A GHC language extension that allows functions to be defined at the type level, enabling mappings and computations between types. It is one of the core tools for type-level programming.
Timeline (last 90 days)
Oct 17
The TypeFamilies extension allows the definition of type-level functions, which fall into closed and open varieties; open type families can have instances defined incrementally across multiple modules.
Unverified50%