summaryrefslogtreecommitdiff
path: root/docs/type_system/shared.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/shared.md')
-rw-r--r--docs/type_system/shared.md28
1 files changed, 27 insertions, 1 deletions
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index 3982b5e..54c9dc5 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -3,7 +3,33 @@
---
```text
-Shared_collector `alias Enum[.counting; .tracing]
+Shared_collector `alias Enum[.unknown; .counting; .tracing]
Shared[Shared_collector; TYPE]
+
+Shared[TYPE] // Resolves to Shared[.unknown; TYPE]
+```
+
+# Garbage Collection Method
+
+```text
+Shared[TYPE]
+```
+
+## Unknown
+
+Counting or tracing will determined later on
+
+## Counting
+
+## Tracing
+
+# Mutating
+
+```text
+x : Shared[Vector] $ (1; 2; 3)
+^ x {
+ y `push 4
+}[y]
+`log x // Shared[.counting; Vector[I64]] $ (1; 2; 3; 4)
```