From fdb84845b43d9fea2271671cb9732fb3b0515b7d Mon Sep 17 00:00:00 2001 From: nodist Date: Thu, 14 May 2026 16:22:03 -0400 Subject: task is just a container --- docs/type_system/fn.md | 2 -- docs/type_system/task.md | 21 +++------------------ docs/type_system/union.md | 11 +++++++++++ 3 files changed, 14 insertions(+), 20 deletions(-) (limited to 'docs/type_system') diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md index 64c49db..6ba8c1d 100644 --- a/docs/type_system/fn.md +++ b/docs/type_system/fn.md @@ -14,8 +14,6 @@ Fn[Fn_class; RETURN_TYPE; ARGS; STATE; List] ## \`yield -## \`error - # Calling ## \`async diff --git a/docs/type_system/task.md b/docs/type_system/task.md index 099ac19..475d81a 100644 --- a/docs/type_system/task.md +++ b/docs/type_system/task.md @@ -5,24 +5,9 @@ An asynchronous encapsulation ```text -Task[TYPE; Error] -``` - -## \`await - -``` -v : `await task // value is in v or error is thrown -``` - -# Matching +Task_status `alias Enum[...] -```text -# `await task { - .value { v ... }[v] - .error { e ... }[e] -} +Task[Task_status; TYPE] ``` -## .value - -## .error +## \`await diff --git a/docs/type_system/union.md b/docs/type_system/union.md index 57eedb4..f2c4ae0 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -14,3 +14,14 @@ u : Union[I64.a; I64.b; I64.c] $ (.c : 5) { ... } // default } ``` +## Alias + +```text +Result[ANY] `alias Union[ANY.value; Error.error] +``` + +## \`take + +```text +value : .value `take 10 / var +``` -- cgit v1.2.3