diff options
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 |