array methods and return qualifier

3 files changed, 26 insertions, 0 deletions

diff --git a/docs/type_system/buffer.md b/docs/type_system/buffer.md
index 554a467..d38dd88 100644
--- a/docs/type_system/buffer.md
+++ b/docs/type_system/buffer.md
@@ -44,6 +44,22 @@ Array[Generic.T] `alias Buffer[[TYPE] Generic.T]
 
 ## ``split`
 
+## ``array`
+
+```text
+array : SIZE `array ([U64.index] index)
+```
+
+## ``map`
+
+## ``each`
+
+In place map
+
+## ``filter`
+
+## ``reduce`
+
 ## Concatenate `,`
 
 # Iterating
diff --git a/docs/type_system/function.md b/docs/type_system/function.md
index 515550a..d972b57 100644
--- a/docs/type_system/function.md
+++ b/docs/type_system/function.md
@@ -89,6 +89,14 @@ Invoked regular expression matcher
 
 ## \`return
 
+The return operation type is Void with the `%return` qualifier
+
+```text
+%return Void
+```
+
+This qualifier is used when type checking branches that should return value, indicating this branch is valid
+
 ## Transient Union Return Chaining
 
 # Iterating
diff --git a/docs/type_system/union.md b/docs/type_system/union.md
index f4b0b04..1bc84da 100644
--- a/docs/type_system/union.md
+++ b/docs/type_system/union.md
@@ -68,3 +68,5 @@ z // is value if y is not zero
 ### \`error
 
 ### \`null
+
+Can take a TYPE as a parameter