diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-17 14:43:15 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-17 14:43:15 -0400 |
| commit | d9c68aa51521171b951d37c879ffee5ea64e21df (patch) | |
| tree | cbe53328e0addaf84732c297e8c68f8e3687a743 /docs/type_system/union.md | |
| parent | 27937495dfd7a376538d8ef3834f12f5c8eb5c0d (diff) | |
use return and yield as keyword with union types passed
Diffstat (limited to 'docs/type_system/union.md')
| -rw-r--r-- | docs/type_system/union.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/type_system/union.md b/docs/type_system/union.md index 0f8b65b..1df65a8 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -27,6 +27,8 @@ Can only be retuned from functions and operations. The inner value must be moved Result[ANY] `alias Union[.transient; ANY.value; Error.error] Option[ANY] `alias Union[.transient; ANY.some; Void.none] + +Next[Any] `alias Union[.transient; ANY.value; Void.done; Error.error] ``` ## Default Operation @@ -39,3 +41,14 @@ If the type is not the first specified a result with an error is returned to the z : x / y // Result[Int[...]] z // is value if y is not zero ``` +## Operators + +### \`value + +### \`error + +### \`some + +### \`none + + |