summaryrefslogtreecommitdiff
path: root/docs/type_system
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system')
-rw-r--r--docs/type_system/fn.md4
-rw-r--r--docs/type_system/result.md15
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