... | ... | @@ -193,4 +193,4 @@ Example: |
|
|
```
|
|
|
|
|
|
|
|
|
One could go one step further and leave out the `pattern` keyword to obtain *associated constructors*, which are required to be bidirectional. The capitalized constructor would indicate that a pattern synonym is being defined. For complicated cases one could resort to the `where` syntax (shown above). |
|
|
One 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). |