Changes between Version 15 and Version 16 of PatternSynonyms


Ignore:
Timestamp:
Aug 28, 2013 3:28:47 PM (8 months ago)
Author:
heisenbug
Comment:

typos

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v15 v16  
    125125}}} 
    126126 
    127 == Associated Patterns Synonyms == 
     127== Associated pattern synonyms == 
    128128Just like data types and type synonyms can be part of a class declaration, it would be possible to have pattern synonyms as well. 
    129129 
     
    150150One could go one step further and leave out the `pattern` keyword to obtain ''associated constructors'', which are required to be bidirectional. The capitalized identifier would indicate that a pattern synonym is being defined. For complicated cases one could resort to the `where` syntax (shown above). 
    151151 
    152 == Typed Patterns Synonyms == 
     152== Typed pattern synonyms == 
    153153 
    154154So far patterns only had _syntactic_ meaning. In comparison Ωmega has _typed_ pattern synonyms, so they become first class values. (I am not suggesting this for Haskell, yet.)