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/shared.md | |
| parent | 20a19f433956f063d8048f032aaf5dcce1d61e7c (diff) | |
use gnu23
Diffstat (limited to 'docs/type_system/shared.md')
| -rw-r--r-- | docs/type_system/shared.md | 20 |
1 files changed, 20 insertions, 0 deletions
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 +``` + + |
