summaryrefslogtreecommitdiff
path: root/docs/type_system
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system')
-rw-r--r--docs/type_system/bit.md2
-rw-r--r--docs/type_system/const.md2
-rw-r--r--docs/type_system/empty.md4
-rw-r--r--docs/type_system/function.md6
-rw-r--r--docs/type_system/ref.md2
-rw-r--r--docs/type_system/select.md6
-rw-r--r--docs/type_system/shared.md10
7 files changed, 19 insertions, 13 deletions
diff --git a/docs/type_system/bit.md b/docs/type_system/bit.md
index 11cecef..a1391ff 100644
--- a/docs/type_system/bit.md
+++ b/docs/type_system/bit.md
@@ -59,7 +59,7 @@ Bool `alias Bit[[BIT8 | BOOL]]
### Div `/`
-### Mod `%`
+### Mod ``mod`
### ``exp`
diff --git a/docs/type_system/const.md b/docs/type_system/const.md
index 2d818de..3966009 100644
--- a/docs/type_system/const.md
+++ b/docs/type_system/const.md
@@ -5,5 +5,5 @@
Cannot be changed or mutated
```text
-`const
+%const
```
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index 08b0977..7997901 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -5,7 +5,7 @@
Container type can be null
```text
-`empty
+%empty
```
## Use with `Option` Union
@@ -17,7 +17,7 @@ make_array : ([yes]
`nome
}
)
-v : make_array(...) // `empty Array[I64] $ .none OR `empty Array[I64] $ (.some : (1; 2; 3))
+v : make_array(...) // %empty Array[I64] $ .none OR %empty Array[I64] $ (.some : (1; 2; 3))
# v {
.some {[x] `log x } // Array[I64] $ (1; 2; 3)
.none { ... }
diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index 814e3c3..57b0abf 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -95,6 +95,8 @@ it : fn `sync 10
}
```
+## Range `..`
+
# Calling
## \`async
@@ -115,3 +117,7 @@ If the callee is a process, an inline await with async is used
```text
fn `sync args // can be turned into `await fn `async args
```
+
+# Binding
+
+## \`bind
diff --git a/docs/type_system/ref.md b/docs/type_system/ref.md
index e47367f..7eea6aa 100644
--- a/docs/type_system/ref.md
+++ b/docs/type_system/ref.md
@@ -3,7 +3,7 @@
---
```text
-`ref
+%ref
```
A reference, cannot be assigned
diff --git a/docs/type_system/select.md b/docs/type_system/select.md
index 979e9d1..73e7953 100644
--- a/docs/type_system/select.md
+++ b/docs/type_system/select.md
@@ -5,15 +5,15 @@
A symbol associated with a type
```text
-Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : `const Value]]
+Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : %const Value]]
```
# Alias
```text
-Enum[Generic.T; Collection[.symbol : `const Value]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : `const Value]]
+Enum[Generic.T; Collection[.symbol : %const Value]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : %const Value]]
-Mask[Generic.T; Collection[.symbol : `const Value]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : `const Value]]
+Mask[Generic.T; Collection[.symbol : %const Value]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : %const Value]]
```
## Definition Example
diff --git a/docs/type_system/shared.md b/docs/type_system/shared.md
index 9ddef26..dcb31d5 100644
--- a/docs/type_system/shared.md
+++ b/docs/type_system/shared.md
@@ -5,7 +5,7 @@
Hold multiple references to the same object
```text
-`shared
+%shared
```
# Garbage Collection
@@ -15,11 +15,11 @@ A tracing mark and sweep garbage collector is used
# Mutating
```text
-x : `shared Array $ (1; 2; 3)
+x : %shared Array $ (1; 2; 3)
^ x {[y]
y `push 4
}
-`log x // `shared Array[I64] $ (1; 2; 3; 4)
+`log x // %shared Array[I64] $ (1; 2; 3; 4)
```
# Operators
@@ -31,8 +31,8 @@ x : `shared Array $ (1; 2; 3)
### Example sharing data between two shared objects
```text
-x : `shared 1
-y : `shared 0
+x : %shared 1
+y : %shared 0
z : ^ x {[x] x }
^ y {[y] y : z }