diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-30 16:13:39 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-30 16:13:39 -0400 |
| commit | dd9713497bfc9e27f9b1ff3181d34ee241f05ec8 (patch) | |
| tree | d5060412fb69387778d863ffaf7a4a47d9ea848e /docs/type_system | |
| parent | cf9285b1dbdf687630076149413f16e5d4af82e8 (diff) | |
match internal kpl status
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/empty.md | 10 | ||||
| -rw-r--r-- | docs/type_system/union.md | 14 |
2 files changed, 12 insertions, 12 deletions
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md index 7997901..2fae1e7 100644 --- a/docs/type_system/empty.md +++ b/docs/type_system/empty.md @@ -13,14 +13,14 @@ Container type can be null ```text make_array : ([yes] ? yes { - `some Array $ (1; 2; 3) - `nome + `value Array $ (1; 2; 3) + `null } ) -v : make_array(...) // %empty Array[I64] $ .none OR %empty Array[I64] $ (.some : (1; 2; 3)) +v : make_array(...) // %empty Array[I64] $ .null OR %empty Array[I64] $ (.value : (1; 2; 3)) # v { - .some {[x] `log x } // Array[I64] $ (1; 2; 3) - .none { ... } + .value {[x] `log x } // Array[I64] $ (1; 2; 3) + .null { ... } } // same as above ? v {[x] `log x } // Array[I64] $ (1; 2; 3) diff --git a/docs/type_system/union.md b/docs/type_system/union.md index adaed4e..2572591 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -3,7 +3,7 @@ --- ```text -Union[CONTAINER | TRANSIENT] Collection[VAR_TREE_LIST; TYPE.SYMBOL]] +Union[CONTAINER | TRANSIENT | TRANSIENT_GENERIC] Collection[VAR_TREE_LIST; TYPE.SYMBOL]] ``` ## Type Body Object Definitions @@ -42,15 +42,17 @@ Can only be retuned from functions and operations. The inner value must be moved ## Alias ```text +Transient_generic[Generic.T] `alias Union[[TRANSIENT_GENERIC] Generic.T.value] + Result[Generic.T] `alias Union[[TRANSIENT] Generic.T.value; Error.error] -Option[Generic.T] `alias Union[[TRANSIENT] Generic.T.some; Void.none] +Option[Generic.T] `alias Union[[TRANSIENT] Generic.T.value; Void.null] -Next[Generic.T] `alias Union[[TRANSIENT] Generic.T.iter; Void.done] +Next[Generic.T] `alias Union[[TRANSIENT] Generic.T.value; Void.done] Next_result[Generic.T] `alias Union[[TRANSIENT] Generic.T.value; Error.error; Void.done] -Next_option[Generic.T] `alias Union[[TRANSIENT] Generic.T.some; Void.none; Void.done] +Next_option[Generic.T] `alias Union[[TRANSIENT] Generic.T.value; Void.null; Void.done] ``` ## Default Operation @@ -69,6 +71,4 @@ z // is value if y is not zero ### \`error -### \`some - -### \`none +### \`null |