diff options
Diffstat (limited to 'docs/type_system/result.md')
| -rw-r--r-- | docs/type_system/result.md | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/docs/type_system/result.md b/docs/type_system/result.md index 1b62fcb..c181a46 100644 --- a/docs/type_system/result.md +++ b/docs/type_system/result.md @@ -2,26 +2,21 @@ --- -The "result" of an operation, can have data, have no data, or be an error +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 +## Matching ```text # RESULT { .some { arg ... }[arg] .none { ... } + .done { ... } .error { e ... }[e] } ``` - -# Returning - -## \`some - -## \`none - -## \`error |