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/result.md | |
| parent | c7c05cf589b3235b7b7749ff745005bf2fc543c6 (diff) | |
task holds error
Diffstat (limited to 'docs/type_system/result.md')
| -rw-r--r-- | docs/type_system/result.md | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/docs/type_system/result.md b/docs/type_system/result.md deleted file mode 100644 index c181a46..0000000 --- a/docs/type_system/result.md +++ /dev/null @@ -1,22 +0,0 @@ -# Result - ---- - -The "result" of an operation, can have data, have no data, the end of an iterator or an error - -```text -Result_status `alias [.some; .none; .done; .error] - -Result[TYPE] -``` - -## Matching - -```text -# RESULT { - .some { arg ... }[arg] - .none { ... } - .done { ... } - .error { e ... }[e] -} -``` |