diff options
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] -} -``` |
