From 20106935981d50971da0a7708a5bfdbec256049c Mon Sep 17 00:00:00 2001 From: nodist Date: Fri, 10 Jul 2026 15:14:36 -0400 Subject: array methods and return qualifier --- docs/type_system/buffer.md | 16 ++++++++++++++++ docs/type_system/function.md | 8 ++++++++ docs/type_system/union.md | 2 ++ 3 files changed, 26 insertions(+) (limited to 'docs/type_system') 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 -- cgit v1.2.3