diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-17 14:24:51 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-17 14:24:51 -0400 |
| commit | 1ccb3c92a4c074a12550c584d3651ace2d7c0131 (patch) | |
| tree | 3288fc8f7b6bb9e31fe43cfbd3d5e18e61d0207e /docs/type_system | |
| parent | 7964cf08ac807ac9e7b6d579a25321a23adc9139 (diff) | |
qualifiers as %
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/bit.md | 2 | ||||
| -rw-r--r-- | docs/type_system/const.md | 2 | ||||
| -rw-r--r-- | docs/type_system/empty.md | 4 | ||||
| -rw-r--r-- | docs/type_system/function.md | 6 | ||||
| -rw-r--r-- | docs/type_system/ref.md | 2 | ||||
| -rw-r--r-- | docs/type_system/select.md | 6 | ||||
| -rw-r--r-- | docs/type_system/shared.md | 10 |
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 } |
