Changes between Version 15 and Version 16 of PatternSynonyms


Ignore:
Timestamp:
Aug 28, 2013 3:28:47 PM (2 years 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.)