diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-20 15:16:19 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-20 15:16:19 -0400 |
| commit | 83729ca507a3266f3793c3ff2db7229a86e80aa6 (patch) | |
| tree | 03c9d6d7c9443bbe67c1f3ab53618d719cff3228 /docs/type_system/union.md | |
| parent | dcf57ffd19ee65c46e9ee635ca6f8238b8f1f07f (diff) | |
mutiple next unions
Diffstat (limited to 'docs/type_system/union.md')
| -rw-r--r-- | docs/type_system/union.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/type_system/union.md b/docs/type_system/union.md index 7d0c798..81a3ecb 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -28,14 +28,18 @@ 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] +Next[Any] `alias Union[.transient; ANY.iter; Void.done] + +Next_result[Any] `alias Union[.transient; ANY.value; Error.error; Void.done] + +Next_option[Any] `alias Union[.transient; ANY.some; Void.none; Void.done] ``` ## Default Operation When a transient union is assigned the first type specified is moved out. -If the type is not the first specified a result with an error is returned to the parent function +If no match is used and if the type is not the first specified a result with an error is returned ```text z : x / y // Result[Int[...]] |