Changes between Version 49 and Version 50 of TypeFunctions


Ignore:
Timestamp:
Aug 26, 2006 8:35:44 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v49 v50  
    2222data family T a1 .. an :: <kind>
    2323}}}
    24  and introduce a data type whose first `n` argument are indexes, with `n` >= 1.  The `<kind>` can specify additional parametric parameters.   Index variables can have a kind annotation.  Indexed newtypes have the same form, except for the initial keyword.  '''Is it still necessary to know the number of type indexes (now that we don't require saturated applications for indexed data types)?  We can now also admit the omission of the kind with * being the default.'''
     24 and introduce a type family whose kind is determined by the kinds of the `ai` (which can have kind annotations) and the explicit signature `<kind>`.  Newtypes families have the same form, except for the initial keyword.  '''We can now also admit the omission of the kind with * being the default.'''
    2525 * Kind signatures of type functions have the form
    2626 {{{