Changes between Version 72 and Version 73 of TypeFunctions
- Timestamp:
- 05/01/07 08:46:42 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeFunctions
v72 v73 29 29 '''Family type constructor''' or '''Family `TyCon`''': the type constructor for a type family. 30 30 31 '''Instance `TyCon`''': the `TyCon` arising from a `data instance` or `newtype instance` declaration. Sometimes called the '''representation `TyCon`'''. The instance `TyCon` is invisible to the programmer; it is only used internally inside GHC. (NB: a `type instance` declaration does not give rise to a new `TyCon`.)31 '''Instance `TyCon`''': the `TyCon` arising from a `data/newtype/type instance` declaration. Sometimes called the '''representation `TyCon`'''. The instance `TyCon` is invisible to the programmer; it is only used internally inside GHC. 32 32 33 33 '''Associated type''': A type family that is declared in a type class.
