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/union.md | |
| parent | cf9285b1dbdf687630076149413f16e5d4af82e8 (diff) | |
match internal kpl status
Diffstat (limited to 'docs/type_system/union.md')
| -rw-r--r-- | docs/type_system/union.md | 14 |
1 files changed, 7 insertions, 7 deletions
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 |