From c7c05cf589b3235b7b7749ff745005bf2fc543c6 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 13 May 2026 16:58:29 -0400 Subject: result can be some, none, done or error --- docs/type_system/fn.md | 4 ++++ docs/type_system/result.md | 15 +++++---------- 2 files changed, 9 insertions(+), 10 deletions(-) (limited to 'docs/type_system') diff --git a/docs/type_system/fn.md b/docs/type_system/fn.md index c5517da..e6a726a 100644 --- a/docs/type_system/fn.md +++ b/docs/type_system/fn.md @@ -7,3 +7,7 @@ Fn_class `alias Enum[.partial; .complete; .iterator; .closure; .bound; .regex; . Fn[Fn_class; RETURN_TYPE; ARGS; STATE; List] ``` + +## \`return + +## \`yield 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 -- cgit v1.2.3