From 51d055dc7e1a6edbaedb7ea80b1e678eff924fe0 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 10 Jun 2026 13:34:38 -0400 Subject: specify type representation --- docs/type_system/union.md | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) (limited to 'docs/type_system/union.md') 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 -- cgit v1.2.3