From a3ce6487e845a534bd0d710e19957cdf7001a7a8 Mon Sep 17 00:00:00 2001 From: nodist Date: Thu, 14 May 2026 14:30:08 -0400 Subject: task holds error --- docs/type_system/task.md | 21 ++++++++++++++++++++- 1 file changed, 20 insertions(+), 1 deletion(-) (limited to 'docs/type_system/task.md') diff --git a/docs/type_system/task.md b/docs/type_system/task.md index b00709d..099ac19 100644 --- a/docs/type_system/task.md +++ b/docs/type_system/task.md @@ -5,5 +5,24 @@ An asynchronous encapsulation ```text -Task[TYPE] +Task[TYPE; Error] ``` + +## \`await + +``` +v : `await task // value is in v or error is thrown +``` + +# Matching + +```text +# `await task { + .value { v ... }[v] + .error { e ... }[e] +} +``` + +## .value + +## .error -- cgit v1.2.3