diff options
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 |