feat(reference): Lexical Structure—Operators

Author: ospencer

docs_config.yml

@@ -100,7 +100,7 @@ docs_groups:
         - reference/lexical_structure/keywords
         - reference/lexical_structure/identifiers
         - reference/lexical_structure/literals
-  #     - reference/lexical_structure/operators
+        - reference/lexical_structure/operators
   #     - reference/lexical_structure/delimiters
   #   - constructs/bindings
   #   - constructs/numbers

src/reference/lexical_structure/operators.md

@@ -0,0 +1,37 @@
+---
+title: Operators
+---
+
+The following tokens are considered operators.
+
+```ebnf
+OPERATOR =
+  | "..."
+  | "."
+  | "::"
+  | ":"
+  | ":="
+  | "=="
+  | "="
+  | "^"
+  | "<"
+  | "<<"
+  | ">"
+  | "<="
+  | ">="
+  | "++"
+  | "+"
+  | "-"
+  | "*"
+  | "/"
+  | "%"
+  | "&"
+  | "&&"
+  | "|"
+  | "||"
+  | "!"
+  | "is"
+  | "isnt" ;
+```
+
+It's worth noting that `>>` and `>>>` are also considered operators, but due to an ambiguity when writing a nested type like `List<Option<a>>`, the `>>` and `>>>` operators are composed of multiple `>` tokens.