5. Expressions

The principal syntactic combinator used to construct expressions are application and pattern matching, however Felix also has a rich set of builtin operator patterns, and there is support for extensible grammar productions which allow arbitrary bracket operators, and binary operators at pre-determined precedences. See also Unknown Label:preprocessor for more details on syntax extensions.


5.1. Literals
5.2. Table of operators
5.3. Let/In
5.4. Coercions
5.5. Record Coercions
5.6. Pattern match