nomen-lang 0.0.7 → 0.0.8

package/core/docs/System/BigInt.md

@@ -0,0 +1,30 @@
+# BigInt
+
+## `struct BigInt`
+
+An arbitrary-precision integer
+
+**Members:**
+
+- `new(int val) -> BigInt`
+- `get(int i) -> uint64`
+- `set(int i, uint64 val)`
+- `data_ptr() -> uint64`
+- `get_at(uint64 ptr, int i) -> uint64`
+- `set_at(uint64 ptr, int i, uint64 val)`
+- `ensure(int needed)`
+- `clear(int len)`
+- `copy_range_from(BigInt src, int start, int count)`
+- `add_at(BigInt other, int shift)`
+- `sub_at(BigInt other, int shift)`
+- `div128(uint64 hi, uint64 lo, uint64 d) -> uint64`
+- `mul_wide_hi(uint64 a, uint64 b) -> uint64`
+- `cmp(BigInt other) -> int`
+- `add_to(BigInt a, BigInt b) -> void`
+- `sub_to(BigInt a, BigInt b) -> void`
+- `mul_to(BigInt a, BigInt b, ref BigInt scratch) -> void`
+- `div_to(BigInt a, BigInt b, ref BigInt remainder) -> void`
+- `to_digit() -> int`
+- `copy_from(BigInt other)`
+- `set_int(int val)`
+- `set_u64(uint64 val)`

package/core/docs/System/Buffer.md

@@ -0,0 +1,31 @@
+# Buffer
+
+## `struct Buffer<T>`
+
+A flat, low-level buffer of value slots of type T — the backing store for arrays and collections
+
+**Members:**
+
+- `alloc(int size) -> int`
+- `grow(int needed) -> int`
+- `zero(int len)`
+- `load(int i) -> uint32`
+- `store(int i, uint32 val)`
+- `store_or(int i, uint32 val)`
+- `alloc_int(int size) -> int`
+- `grow_int(int needed) -> int`
+- `load_int(int i) -> int`
+- `store_int(int i, int val)`
+- `move_int(int i) -> int`
+- `replace_int(int i, int val)`
+- `zero_int(int len)`
+- `alloc_T(int size) -> int`
+- `grow_T(int needed) -> int`
+- `load_T(int i) -> T`
+- `store_T(int i, T val)`
+- `slice(int start, int end) -> view T`
+- `zero_T(int len)`
+- `store_or_int(int i, int val)`
+- `alloc_float(int size) -> int`
+- `load_float(int i) -> float`
+- `store_float(int i, float val)`

package/core/docs/System/Channel.md

@@ -0,0 +1,10 @@
+# Channel
+
+## `class Channel`
+
+A thread-safe, blocking FIFO queue for passing values between tasks
+
+**Members:**
+
+- `send(uint64 value)`
+- `receive() -> uint64`

package/core/docs/System/ClassBuffer.md

@@ -0,0 +1,15 @@
+# ClassBuffer
+
+## `struct ClassBuffer<T>`
+
+A flat buffer of owned class pointers of type T — the backing store for collections of classes
+
+**Members:**
+
+- `alloc_int(int size) -> int`
+- `grow_int(int needed) -> int`
+- `load_int(int i) -> int`
+- `store_int(int i, int val)`
+- `move_int(int i) -> int`
+- `replace_int(int i, int val)`
+- `slice(int start, int end) -> view T`

package/core/docs/System/Console.md

@@ -0,0 +1,13 @@
+# Console
+
+## `struct Console`
+
+The standard console — writing text to, and reading input from, the terminal
+
+**Members:**
+
+- `write(string line)`
+- `write_line(string line)`
+- `read_line() -> string`
+- `read_char() -> char`
+- `platform() -> string`

package/core/docs/System/Controls/Button.md

@@ -0,0 +1,12 @@
+# Button
+
+## `class Button`
+
+A push-button control that triggers an action when clicked
+
+**Members:**
+
+- `set_frame(int x, int y, int width, int height)`
+- `set_title(string title)`
+- `intrinsic_size() -> Size`
+- `measure(BoxConstraints constraints) -> Size`

package/core/docs/System/Controls/CheckBox.md

@@ -0,0 +1,15 @@
+# CheckBox
+
+## `class CheckBox`
+
+A toggle control with a title and checked/hidden state
+
+**Members:**
+
+- `set_frame(int x, int y, int width, int height)`
+- `set_title(string title)`
+- `set_checked(bool checked)`
+- `is_checked() -> bool`
+- `set_hidden(bool hidden)`
+- `intrinsic_size() -> Size`
+- `measure(BoxConstraints constraints) -> Size`

package/core/docs/System/Controls/Container.md

@@ -0,0 +1,82 @@
+# Container
+
+## `func native_intrinsicnative_intrinsic(uint64 handle) -> _Tuple_int_int`
+
+_No documentation._
+
+## `class Container`
+
+A flexbox-style container that measures and arranges its child controls.
+
+Conforms to `Control`: `measure(BoxConstraints)` measures the whole subtree,
+`set_frame` arranges it into a rectangle, and `intrinsic_size` reports the
+unbounded-content size. The handle-based `add` API and the SoA engine are
+unchanged — the trait methods are thin entry points over the existing math,
+so a `Container` can also be driven polymorphically as a `Control` (passed to
+a `Control`-taking function, stored in a `ClassBuffer<Control>`, etc.).
+
+**Members:**
+
+- `init_buffers(int cap)`
+- `make_root(int kind, int gap, int col_count)`
+- `first_child(int parent) -> int`
+- `next_sibling(int after, int parent) -> int`
+- `append_node(int parent, int kind, int handle, int gap, int cols, int span, int grow, int shrink, int align) -> int`
+- `root_index() -> int`
+- `add(uint64 handle, int w, int h, int span, int grow, int align, int shrink)`
+- `add_to(int parent, uint64 handle, int w, int h, int span, int grow, int align, int shrink)`
+- `add_kind(uint64 handle, int w_kind, int w_val, int h_kind, int h_val, int span, int grow, int align, int shrink)`
+- `add_to_kind(int parent, uint64 handle, int w_kind, int w_val, int h_kind, int h_val, int span, int grow, int align, int shrink)`
+- `add_len(uint64 handle, LayoutLength w, LayoutLength h, int span, int grow, int align, int shrink)`
+- `add_to_len(int parent, uint64 handle, LayoutLength w, LayoutLength h, int span, int grow, int align, int shrink)`
+- `add_intrinsic(uint64 handle, int span, int grow, int align, int shrink)`
+- `add_to_intrinsic(int parent, uint64 handle, int span, int grow, int align, int shrink)`
+- `set_leaf_size(int idx, int w, int h)`
+- `set_leaf_kind(int idx, int w_kind, int w_val, int h_kind, int h_val)`
+- `add_vstack(int parent, int spacing, int span, int grow, int align, int shrink) -> int`
+- `add_hstack(int parent, int spacing, int span, int grow, int align, int shrink) -> int`
+- `add_spacer(int span, int grow, int shrink, int align)`
+- `add_spacer_to(int parent, int span, int grow, int shrink, int align)`
+- `add_grid(int parent, int cols, int spacing, int span, int grow, int align, int shrink) -> int`
+- `add_zstack(int parent, int span, int grow, int align, int shrink) -> int`
+- `add_block(int padding, int span, int grow, int align, int shrink) -> int`
+- `add_block_to(int parent, int padding, int span, int grow, int align, int shrink) -> int`
+- `measure_node(int idx, int min_w, int max_w, int min_h, int max_h) -> int`
+- `arrange_node(int idx, int x, int y, int w, int h) -> void`
+- `collect_dirty()`
+- `dirty_count() -> int`
+- `dirty_rect(int i) -> string`
+- `mark_dirty(int idx)`
+- `measure_count(int i) -> int`
+- `apply(int content_w, int content_h)`
+- `measure(BoxConstraints constraints) -> Size`
+- `set_frame(int x, int y, int width, int height)`
+- `intrinsic_size() -> Size`
+- `compute(int avail_w, int avail_h)`
+- `layout(Window win)`
+- `set_resize_callback(Window win)`
+- `contains(uint64 handle, int cx, int cy) -> bool`
+- `hit_test(int cx, int cy) -> uint64`
+- `hit_test_index(int cx, int cy) -> int`
+- `hit_test_node(int idx, int cx, int cy) -> int`
+- `fmt_frame(int i) -> string`
+
+## `func nomen_layout_thunknomen_layout_thunk(ref Container grid, Window win)`
+
+Entry point the layout engine calls to lay out a Container's tree
+
+## `func VStackVStack(int spacing) -> Container`
+
+Creates a vertical stack container with the given spacing
+
+## `func HStackHStack(int spacing) -> Container`
+
+Creates a horizontal stack container with the given spacing
+
+## `func ZStackZStack() -> Container`
+
+Creates a Z-stack container (children layered on top of one another)
+
+## `func GridGrid(int cols, int spacing) -> Container`
+
+Creates a grid container with `cols` columns and the given spacing

package/core/docs/System/Controls/Control.md

@@ -0,0 +1,5 @@
+# Control
+
+## `trait Control`
+
+The polymorphic interface every UI node implements (measure / set_frame / intrinsic_size)

package/core/docs/System/Controls/Geometry.md

@@ -0,0 +1,26 @@
+# Geometry
+
+## `struct Size`
+
+A 2D size (width and height)
+
+## `struct Frame`
+
+A rectangle (x, y, width, height) — a control's assigned position and size
+
+## `struct Insets`
+
+Per-edge padding (top, right, bottom, left)
+
+## `struct BoxConstraints`
+
+Min/max size bounds a parent passes to a child during the layout measure phase
+
+**Members:**
+
+- `tighten_width(int min, int max) -> BoxConstraints`
+- `tighten_height(int min, int max) -> BoxConstraints`
+- `clamp_width(int value) -> int`
+- `clamp_height(int value) -> int`
+- `is_width_bounded() -> bool`
+- `is_height_bounded() -> bool`

package/core/docs/System/Controls/Layout.md

@@ -0,0 +1,37 @@
+# Layout
+
+## `struct Layout`
+
+A flat, buffer-backed layout tree — nodes stored in parallel arrays for the layout engine
+
+## `func init_layoutinit_layout(ref Layout l, int cap)`
+
+Initializes a Layout tree with capacity for `cap` nodes
+
+## `func add_leafadd_leaf(ref Layout l, int parent, int w, int h) -> int`
+
+Appends a leaf node (a sized control) under `parent` and returns its index
+
+## `func add_vstackadd_vstack(ref Layout l, int parent, int spacing) -> int`
+
+Appends a vertical stack container under `parent` and returns its index
+
+## `func add_hstackadd_hstack(ref Layout l, int parent, int spacing) -> int`
+
+Appends a horizontal stack container under `parent` and returns its index
+
+## `func measure_wmeasure_w(Layout l, int count, int idx, int min_w, int max_w, int min_h, int max_h) -> int`
+
+Measures node widths against the given constraints (layout measure phase)
+
+## `func arrangearrange(Layout l, int count, int idx, int x, int y, int w, int h) -> void`
+
+Assigns concrete frames to nodes (layout arrange phase)
+
+## `func run_layoutrun_layout(ref Layout l, int count, int root, int avail_w, int avail_h)`
+
+Runs a full measure-then-arrange pass from `root` within the available space
+
+## `func fmtfmt(Layout l, int idx) -> string`
+
+Formats a node and its subtree as a string (for debugging)

package/core/docs/System/Controls/LayoutParams.md

@@ -0,0 +1,13 @@
+# LayoutParams
+
+## `enum LayoutLength`
+
+How a child dimension is sized: auto (to content), fixed, percent, or fill
+
+## `enum Alignment`
+
+How a child is positioned within available space (start / center / end / stretch)
+
+## `struct LayoutParams`
+
+Per-child layout preferences: requested dimensions, flex grow/shrink weights, and alignment

package/core/docs/System/Controls/Text.md

@@ -0,0 +1,12 @@
+# Text
+
+## `class Text`
+
+A read-only text label control
+
+**Members:**
+
+- `set_text(string text)`
+- `measure(BoxConstraints constraints) -> Size`
+- `intrinsic_size() -> Size`
+- `set_frame(int x, int y, int width, int height)`

package/core/docs/System/Controls/TextBox.md

@@ -0,0 +1,13 @@
+# TextBox
+
+## `class TextBox`
+
+An editable single-line text input control
+
+**Members:**
+
+- `set_frame(int x, int y, int width, int height)`
+- `set_text(string text)`
+- `get_text() -> string`
+- `intrinsic_size() -> Size`
+- `measure(BoxConstraints constraints) -> Size`

package/core/docs/System/Controls/Window.md

@@ -0,0 +1,20 @@
+# Window
+
+## `class Window`
+
+A top-level native window that hosts controls and dispatches events
+
+**Members:**
+
+- `show()`
+- `set_title(string title)`
+- `run()`
+- `process_events() -> int`
+- `is_visible() -> bool`
+- `click_x() -> int`
+- `click_y() -> int`
+- `content_width() -> int`
+- `content_height() -> int`
+- `measure(BoxConstraints constraints) -> Size`
+- `intrinsic_size() -> Size`
+- `set_frame(int x, int y, int width, int height)`

package/core/docs/System/Disposable.md

@@ -0,0 +1,5 @@
+# Disposable
+
+## `trait Disposable`
+
+A trait for resources that must be explicitly cleaned up via `dispose`

package/core/docs/System/Enumerable.md

@@ -0,0 +1,5 @@
+# Enumerable
+
+## `trait Enumerable`
+
+A trait for collections that can be iterated with `for x of collection`

package/core/docs/System/Graph.md

@@ -0,0 +1,17 @@
+# Graph
+
+## `struct Graph<T>`
+
+A graph of values connected by edges
+
+**Members:**
+
+- `add_node(T value)`
+- `add_edge(int from, int to)`
+- `edges_of(int node) -> int`
+- `edge_target(int e) -> int`
+- `next_edge(int e) -> int`
+- `first() -> T`
+- `at(int idx) -> T`
+- `node_length() -> int`
+- `edge_length() -> int`

package/core/docs/System/Init.md

@@ -0,0 +1,9 @@
+# Init
+
+## `struct Init`
+
+Program startup state — the argument count and argument list passed to `main`
+
+## `func parse_intparse_int(string s) -> int`
+
+Parses a decimal string into an int

package/core/docs/System/LinkedList.md

@@ -0,0 +1,16 @@
+# LinkedList
+
+## `struct LinkedList<T>`
+
+A doubly-linked list of values
+
+**Members:**
+
+- `add(T value)`
+- `set_next(int idx, int next)`
+- `set_previous(int idx, int prev)`
+- `next_at(int idx) -> int`
+- `previous_at(int idx) -> int`
+- `first() -> T`
+- `at(int idx) -> T`
+- `length() -> int`

package/core/docs/System/List.md

@@ -0,0 +1,13 @@
+# List
+
+## `struct List<T>`
+
+A growable, ordered list of values (`push`/`pop`/`at`)
+
+**Members:**
+
+- `push(T value)`
+- `pop() -> T`
+- `at(int i) -> T`
+- `slice(int start, int end) -> view T`
+- `set(int i, T value)`

package/core/docs/System/Map.md

@@ -0,0 +1,14 @@
+# Map
+
+## `struct Map<TK, TV>`
+
+An ordered key-value map with `set`/`get`/`has`/`remove`
+
+**Members:**
+
+- `set(TK key, TV value)`
+- `get(TK key) -> TV`
+- `has(TK key) -> bool`
+- `remove(TK key) -> void`
+- `find_slot(TK key, int cap) -> int`
+- `rehash(int new_cap)`

package/core/docs/System/Math.md

@@ -0,0 +1,11 @@
+# Math
+
+## `struct Math`
+
+Mathematical helper functions
+
+**Members:**
+
+- `power(int base, int exp) -> int`
+- `sqrt(float x) -> float`
+- `log(float x) -> float`

package/core/docs/System/Mutex.md

@@ -0,0 +1,10 @@
+# Mutex
+
+## `class Mutex`
+
+A pthread-backed mutual-exclusion lock for protecting shared mutable state
+
+**Members:**
+
+- `lock()`
+- `unlock()`

package/core/docs/System/Nursery.md

@@ -0,0 +1,5 @@
+# Nursery
+
+## `struct Nursery`
+
+The capability for spawning into a caller's `async` block; owns and tracks its tasks

package/core/docs/System/Sendable.md

@@ -0,0 +1,5 @@
+# Sendable
+
+## `trait Sendable`
+
+A marker trait for values that are safe to move across task boundaries

package/core/docs/System/Set.md

@@ -0,0 +1,14 @@
+# Set
+
+## `struct Set<T>`
+
+An ordered set of unique values (`add`/`has`/`get`/`remove`)
+
+**Members:**
+
+- `add(T value)`
+- `has(T value) -> bool`
+- `get(T key) -> T`
+- `remove(T value) -> void`
+- `find_slot(T value, int cap) -> int`
+- `rehash(int new_cap)`

package/core/docs/System/Stream/Directory.md

@@ -0,0 +1,12 @@
+# Directory
+
+## `struct Directory`
+
+Helpers for working with filesystem directories (`create`/`remove`/`exists`/`list`)
+
+**Members:**
+
+- `create(string path)`
+- `remove(string path)`
+- `exists(string path) -> bool`
+- `list(string path) -> string`

package/core/docs/System/Stream/File.md

@@ -0,0 +1,21 @@
+# File
+
+## `struct File`
+
+A file handle for reading and writing (`open`/`close`/`readAll`/`writeLine`/…),
+plus static one-shot helpers `exists`, `delete`, `read_all`, `write_all`
+
+**Members:**
+
+- `open(string path, string mode)`
+- `close()`
+- `readAll() -> string`
+- `writeAll(string data)`
+- `readLine() -> string`
+- `writeLine(string data)`
+- `readChunk(int size) -> string`
+- `writeChunk(string data, int size)`
+- `exists(string path) -> bool`
+- `delete(string path)`
+- `read_all(string path) -> string`
+- `write_all(string path, string data)`

package/core/docs/System/String.md

@@ -0,0 +1,14 @@
+# String
+
+## `struct string`
+
+A UTF-8 text string — a heap-owned, length-tracked sequence of bytes
+
+**Members:**
+
+- `to_string() -> string`
+- `at(int index) -> char`
+- `slice(int start, int end) -> view string`
+- `set(int index, char value)`
+- `add(string other) -> string`
+- `mul(int count) -> string`

package/core/docs/System/StringBuilder.md

@@ -0,0 +1,12 @@
+# StringBuilder
+
+## `struct StringBuilder`
+
+A growable byte buffer for incrementally building strings (O(1) amortized append)
+
+**Members:**
+
+- `ensure(int needed)`
+- `append_char(char c)`
+- `append_string(string s)`
+- `to_string() -> string`

package/core/docs/System/Stringable.md

@@ -0,0 +1,5 @@
+# Stringable
+
+## `trait Stringable`
+
+A trait for values that can be converted to a string via `to_string`

package/core/docs/System/Task.md

@@ -0,0 +1,15 @@
+# Task
+
+## `class Task<T>`
+
+A handle to an asynchronously-running computation, backed by a shared thread pool
+
+**Members:**
+
+- `wait()`
+- `result() -> T`
+- `result_uint64() -> uint64`
+- `cancel()`
+- `current_cancelled() -> bool`
+- `set_pool_size(int n) -> int`
+- `shutdown_pool()`

package/core/docs/System/Text/Json.md

@@ -0,0 +1,12 @@
+# Json
+
+## `struct Json`
+
+JSON serialization helpers — `serialize`/`deserialize` strings, `parse`/`stringify` via a JsonTree
+
+**Members:**
+
+- `serialize(string value) -> string`
+- `deserialize(string json) -> string`
+- `parse(string s, ref JsonTree tree) -> int`
+- `stringify(ref JsonTree tree, int root) -> string`

package/core/docs/System/Text/JsonTree.md

@@ -0,0 +1,21 @@
+# JsonTree
+
+## `struct JsonTree`
+
+A flat, buffer-backed pool of JSON tree nodes — the parsed representation `Json.parse` produces
+
+**Members:**
+
+- `alloc_node() -> int`
+- `free_text(int idx)`
+- `reset()`
+- `set_text(int idx, string text)`
+- `set_kind(int idx, int val)`
+- `set_child(int idx, int val)`
+- `set_next(int idx, int val)`
+- `set_val(int idx, int val)`
+- `get_kind(int idx) -> int`
+- `get_text(int idx) -> string`
+- `get_child(int idx) -> int`
+- `get_next(int idx) -> int`
+- `get_val(int idx) -> int`

package/core/docs/System/Text/Regex.md

@@ -0,0 +1,12 @@
+# Regex
+
+## `struct Regex`
+
+Regular-expression helpers (`test`/`match`/`count`/`replace_all`) using POSIX ERE syntax
+
+**Members:**
+
+- `test(string pattern, string input) -> bool`
+- `match(string pattern, string input) -> string`
+- `count(string pattern, string input) -> int`
+- `replace_all(string pattern, string input, string replacement) -> string`

package/core/docs/System/Time.md

@@ -0,0 +1,11 @@
+# Time
+
+## `struct Time`
+
+Wall-clock time and sleeping (`now_ms`/`now_unix`/`sleep_ms`)
+
+**Members:**
+
+- `now_ms() -> uint64`
+- `now_unix() -> uint64`
+- `sleep_ms(uint64 ms)`

package/core/docs/System/Tree.md

@@ -0,0 +1,18 @@
+# Tree
+
+## `struct Tree<T>`
+
+A tree of values connected by parent/child links
+
+**Members:**
+
+- `add(T value)`
+- `set_left(int idx, int left)`
+- `set_right(int idx, int right)`
+- `left(int idx) -> int`
+- `right(int idx) -> int`
+- `parent_of(int idx) -> int`
+- `first() -> T`
+- `at(int idx) -> T`
+- `count_nodes(int idx) -> int`
+- `length() -> int`