Changes between Version 1 and Version 2 of NewAxioms/TemplateHaskell


Ignore:
Timestamp:
Jun 24, 2013 8:54:20 AM (22 months 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.