diff options
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 +``` + + |