diff options
| -rw-r--r-- | docs/type_system/control.md | 9 | ||||
| -rw-r--r-- | docs/type_system/index.md | 2 | ||||
| -rw-r--r-- | docs/type_system/list.md | 2 | ||||
| -rw-r--r-- | mkdocs.yml | 1 |
4 files changed, 13 insertions, 1 deletions
diff --git a/docs/type_system/control.md b/docs/type_system/control.md new file mode 100644 index 0000000..6a4ec49 --- /dev/null +++ b/docs/type_system/control.md @@ -0,0 +1,9 @@ +# Control + +--- + +```text +Control_class `alias Enum[.loop; .if; .match; .mutate; .selection] + +Control[TARGET; ARGS; LIST; Control_class] +``` diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 4cc3586..9cc9241 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -78,6 +78,8 @@ Denotes that a field that does not resolve to anything * #### [Op](./op.md) +* #### [Control](./control.md) + * #### [List](./list.md) * #### [Namespace](./namespace.md) diff --git a/docs/type_system/list.md b/docs/type_system/list.md index fc5b0ff..ec90864 100644 --- a/docs/type_system/list.md +++ b/docs/type_system/list.md @@ -5,5 +5,5 @@ A "List" of statements ```text -List[TARGET; SCOPE; STATEMENTS ...] +List[SCOPE; STATEMENTS ...] ``` @@ -36,5 +36,6 @@ nav: - Name: 'type_system/name.md' - Symbol: 'type_system/symbol.md' - Op: 'type_system/op.md' + - Control: 'type_system/control.md' - List: 'type_system/list.md' - Namespace: 'type_system/namespace.md' |