diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:58:29 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:58:29 -0400 |
| commit | c7c05cf589b3235b7b7749ff745005bf2fc543c6 (patch) | |
| tree | c280d6f8c987fcedec6893bed3e2c3708b2af73a /docs/type_system | |
| parent | d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa (diff) | |
result can be some, none, done or error
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/fn.md | 4 | ||||
| -rw-r--r-- | docs/type_system/result.md | 15 |
2 files changed, 9 insertions, 10 deletions
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 |
