From a3ce6487e845a534bd0d710e19957cdf7001a7a8 Mon Sep 17 00:00:00 2001 From: nodist Date: Thu, 14 May 2026 14:30:08 -0400 Subject: task holds error --- docs/type_system/result.md | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 docs/type_system/result.md (limited to 'docs/type_system/result.md') 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] -} -``` -- cgit v1.2.3