diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-06-10 13:34:38 -0400 |
| commit | 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 (patch) | |
| tree | 03643ee752fb6df836d662df1ce099d547d708dd /docs/type_system/union.md | |
| parent | aebce1e48e81559ffe5f496af855a1140d8e0107 (diff) | |
specify type representation
Diffstat (limited to 'docs/type_system/union.md')
| -rw-r--r-- | docs/type_system/union.md | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/docs/type_system/union.md b/docs/type_system/union.md index 2c985e0..6682967 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -3,15 +3,13 @@ --- ```text -Union_class `alias Enum[Void; .container; .transient] - -Union[Union_class; Collection[TYPE.SYMBOL]] +Union[CONTAINER | TRANSIENT] Collection[TYPE.SYMBOL]] ``` # Alias ```text -Tag[Collection[TYPE.SYMBOL]] `alias Union[.container; Collection[TYPE.SYMBOL]] +Tag[Collection[TYPE.SYMBOL]] `alias Union[[CONTAINER] Collection[TYPE.SYMBOL]] ``` ## Tag Example @@ -36,15 +34,15 @@ Can only be retuned from functions and operations. The inner value must be moved ## Alias ```text -Result[Generic.T] `alias Union[.transient; Generic.T.value; Error.error] +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.some; Void.none] -Next[Generic.T] `alias Union[.transient; Generic.T.iter; Void.done] +Next[Generic.T] `alias Union[[TRANSIENT] Generic.T.iter; Void.done] -Next_result[Generic.T] `alias Union[.transient; Generic.T.value; Error.error; 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.some; Void.none; Void.done] ``` ## Default Operation |