diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-14 14:30:08 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-14 14:30:08 -0400 |
| commit | a3ce6487e845a534bd0d710e19957cdf7001a7a8 (patch) | |
| tree | 0f37ef1d1e1a9e0cfc7efb1f4f3db4f4d9449ebb /docs/type_system/task.md | |
| parent | c7c05cf589b3235b7b7749ff745005bf2fc543c6 (diff) | |
task holds error
Diffstat (limited to 'docs/type_system/task.md')
| -rw-r--r-- | docs/type_system/task.md | 21 |
1 files changed, 20 insertions, 1 deletions
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 |