diff options
| -rw-r--r-- | docs/syntax/index.md | 6 | ||||
| -rw-r--r-- | docs/type_system/index.md | 20 | ||||
| -rw-r--r-- | mkdocs.yml | 7 |
3 files changed, 19 insertions, 14 deletions
diff --git a/docs/syntax/index.md b/docs/syntax/index.md index 1318219..cbea641 100644 --- a/docs/syntax/index.md +++ b/docs/syntax/index.md @@ -141,3 +141,9 @@ A list of statements between `{}` separated by `;` or `\n` associated with a co { default statements } } ``` + +#### Mutation `^` + +```test +^ mutation { statements }[args] +``` diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 3b67475..430792b 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -1,12 +1,12 @@ -# Type System +# Templates --- -# Templates - A template is an incomplete type -## Template Fields +```text +Template[Field; ...] +``` If a field in a template is not filed, one of these are required: @@ -18,16 +18,10 @@ Denotes a field in a template that has not resolved Denotes that a field that does not resolve to anything -## Defined Templates +## Value Templates * #### [Enum](./enum.md) -# Alias - -A type based on a complete template that is interchangeable with what it is based on - -## Defined Alias - -# Unique +## Container Templates -A type based on a complete template that is not interchangeable with what it is based on +## AST Templates @@ -5,4 +5,9 @@ repo_name: Markdown Source nav: - Main: 'index.md' - Syntax: 'syntax/index.md' - - Type System: 'type_system/index.md' + - Type System: + - Templates: 'type_system/index.md' + - Qualifiers: 'type_system/qualifiers.md' + - Alias: 'type_system/alias.md' + - Unique: 'type_system/unique.md' + - Enum: 'type_system/enum.md' |