diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-12 15:22:19 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-12 15:22:19 -0400 |
| commit | 89418faafd87cbbf0b36bc8bf916904a170073f6 (patch) | |
| tree | ea5b619a973ad83715de82a432565fba988a535f /docs/type_system | |
| parent | 20a19f433956f063d8048f032aaf5dcce1d61e7c (diff) | |
use gnu23
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/function.md | 2 | ||||
| -rw-r--r-- | docs/type_system/lock.md | 6 | ||||
| -rw-r--r-- | docs/type_system/shared.md | 20 |
3 files changed, 24 insertions, 4 deletions
diff --git a/docs/type_system/function.md b/docs/type_system/function.md index d8244a9..814e3c3 100644 --- a/docs/type_system/function.md +++ b/docs/type_system/function.md @@ -9,7 +9,7 @@ CLASS : INCOMPLETE | NATIVE | TASK | PROCESS | GENERATOR | ITERATOR | CLOSURE | FLAGS : INVOCATION | CLASS -Function[[FLAGS] STATE; List; RETURN_TYPE; Collection[TYPE.SYMBOL]] +Function[[FLAGS]; STATE; List; RETURN_TYPE; Collection[TYPE.SYMBOL]] ``` # Alias diff --git a/docs/type_system/lock.md b/docs/type_system/lock.md index 913a532..3b7d90a 100644 --- a/docs/type_system/lock.md +++ b/docs/type_system/lock.md @@ -2,8 +2,8 @@ --- -Prevent access to a parent while children are modifiable - ```text -Lock[[] Name[...]; TYPE] +Lock[[] TARGET] ``` + +Prevent access to `TARGET` until a mutation occurs diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md index 2af408d..d1d3f07 100644 --- a/docs/type_system/shared.md +++ b/docs/type_system/shared.md @@ -21,3 +21,23 @@ x : Shared[Array] $ (1; 2; 3) } `log x // Shared[Array[I64]] $ (1; 2; 3; 4) ``` + +# Operators + +## ``get` + +## ``set` + +### Example sharing data between two shared objects + +```text +x : Shared $ 1 +y : Shared $ 0 + +z : ^ x {[x] x } +^ y {[y] y : z } +// same as above +y `set `get x +``` + + |