Changes between Version 72 and Version 73 of TypeFunctions


Ignore:
Timestamp:
May 1, 2007 3:46:42 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v72 v73  
    2929'''Family type constructor''' or '''Family `TyCon`''': the type constructor for a type family. 
    3030 
    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.   
    3232 
    3333'''Associated type''': A type family that is declared in a type class.