Authoritative source: Grammar map
Grammar map
The complete EBNF is maintained only in Language Reference §21. This appendix points readers to its major entry groups without duplicating it.
| Need | Grammar area |
|---|---|
| Whole file | source_file, module/import/export declarations |
| Declarations | declaration, function/value/type/structure/class/effect forms |
| Types | type_expr, arrows, sums, products, application |
| Expressions | expr, annotations, infix/prefix/application |
| Binding/control | let, if, match, unpack, action, handle |
| Data | constructors, tuples, records, fields, patterns |
| Evidence | structures, instances, laws, deriving |
| Runtime/platform | primitive, intrinsic, repr, class, target, extern |
The grammar notation uses { x } for repetition and [ x ] for optional syntax; literal braces and brackets are quoted. Character escapes, Unicode categories, and semantic restrictions are specified in prose.