Changes between Version 1 and Version 2 of NewAxioms/TemplateHaskell


Ignore:
Timestamp:
Jun 24, 2013 8:54:20 AM (2 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/TemplateHaskell

    v1 v2  
    77}}}
    88
    9 Here is the proposed new constructor:
     9Here is the implemented new constructor:
    1010
    1111{{{
    12 TySynInstD Name [TySynEqn]
     12TySynInstD Name TySynEqn
    1313}}}
    1414
     
    1919}}}
    2020
    21 represents one equation with a list of left-hand side patterns and a single right-hand side result. The only alternate design on the table is to use a list of ([Type], Type) pairs instead of an extra datatype.
     21represents one equation with a list of left-hand side patterns and a single right-hand side result.
     22
     23We also add a new declaration form to the {{{Dec}}} type
     24
     25{{{
     26ClosedTypeFamilyD Name [TyVarBndr] (Maybe Kind) [TySynEqn]
     27}}}
     28
     29with a straightforward meaning.