{ "version": 1, "modules": [ { "id": "prelude", "path": "std/prelude.ks", "source_kind": "file", "doc": "The standard prelude, loaded before user code. Core protocols and common collections are available without an explicit import.", "symbols": [ { "kind": "import", "name": "core", "qualified_name": "prelude.core", "signature": "import core", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 194, "end_byte": 205, "start_line": 4, "end_line": 4 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core", "qualified_name": "prelude.core", "signature": "import core.{Opt, Res, Iter, ToIter, Drop, Copy, Dupe, GetItem, SetItem, ToBin, Hash}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 206, "end_byte": 291, "start_line": 5, "end_line": 5 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "dsa", "qualified_name": "prelude.dsa", "signature": "import dsa.{Arr, ArrIter, Slot, Map, MapIter}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 342, "end_byte": 387, "start_line": 8, "end_line": 8 }, "members": [], "requires_unsafe": null } ] }, { "id": "core", "path": "std/core/mod.ks", "source_kind": "embedded", "doc": "Fundamental types and protocols, re-exported from their defining modules.", "symbols": [ { "kind": "import", "name": "core.opt", "qualified_name": "core.core.opt", "signature": "import core.opt.{Opt}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 79, "end_byte": 100, "start_line": 3, "end_line": 3 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core.res", "qualified_name": "core.core.res", "signature": "import core.res.{Res}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 101, "end_byte": 122, "start_line": 4, "end_line": 4 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core.iter", "qualified_name": "core.core.iter", "signature": "import core.iter.{Iter, ToIter}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 123, "end_byte": 154, "start_line": 5, "end_line": 5 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core.lifecycle", "qualified_name": "core.core.lifecycle", "signature": "import core.lifecycle.{Drop, Copy, Dupe}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 155, "end_byte": 195, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core.indexing", "qualified_name": "core.core.indexing", "signature": "import core.indexing.{GetItem, SetItem}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 196, "end_byte": 235, "start_line": 7, "end_line": 7 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "core.conv", "qualified_name": "core.core.conv", "signature": "import core.conv.{ToBin, Hash}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 236, "end_byte": 266, "start_line": 8, "end_line": 8 }, "members": [], "requires_unsafe": null } ] }, { "id": "core.opt", "path": "std/core/opt.ks", "source_kind": "embedded", "doc": "Optional values: a payload or an explicit absence.", "symbols": [ { "kind": "enum", "name": "Opt", "qualified_name": "core.opt.Opt", "signature": "enum Opt[T]", "params": [], "return_type": null, "doc": "A value that may be absent. Match `Val(value)` or `Non()` to handle both cases.\n\n```ks\nlet missing = Opt[Int].Non\nprint(missing.unwrap_or(7))\n```\n```output\n7\n```", "span": { "start_byte": 244, "end_byte": 333, "start_line": 12, "end_line": 17 }, "members": [ { "kind": "variant", "name": "Val", "qualified_name": "core.opt.Opt.Val", "signature": "Val(T)", "params": [], "return_type": null, "doc": "A present value of type `T`.", "span": { "start_byte": 298, "end_byte": 304, "start_line": 14, "end_line": 14 }, "members": [], "requires_unsafe": null }, { "kind": "variant", "name": "Non", "qualified_name": "core.opt.Opt.Non", "signature": "Non", "params": [], "return_type": null, "doc": "No value.", "span": { "start_byte": 327, "end_byte": 330, "start_line": 16, "end_line": 16 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Opt[@T]", "qualified_name": "core.opt.Opt[@T]", "signature": "impl Opt[@T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 335, "end_byte": 797, "start_line": 19, "end_line": 35 }, "members": [ { "kind": "method", "name": "unwrap", "qualified_name": "core.opt.Opt[@T].unwrap", "signature": "func unwrap(self): T", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "T", "doc": "Return the payload. Stop with an error if this is `Non`.", "span": { "start_byte": 418, "end_byte": 562, "start_line": 21, "end_line": 26 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "unwrap_or", "qualified_name": "core.opt.Opt[@T].unwrap_or", "signature": "func unwrap_or(self, default: T): T", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "default", "type_expr": "T", "variadic": false } ], "return_type": "T", "doc": "Return the payload, or `default` when absent. Arguments are evaluated before the call.", "span": { "start_byte": 662, "end_byte": 795, "start_line": 29, "end_line": 34 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "core.res", "path": "std/core/res.ks", "source_kind": "embedded", "doc": "Results for recoverable errors, with separate success and error payload types.", "symbols": [ { "kind": "enum", "name": "Res", "qualified_name": "core.res.Res", "signature": "enum Res[T, E]", "params": [], "return_type": null, "doc": "A successful value `Val(T)` or a failure `Err(E)`. Use `?` to propagate failure.\n\n```ks\nlet result = Res[Int, Str].Err(\"missing\")\nprint(result.is_err())\nprint(result.unwrap_or(0))\n```\n```output\ntrue\n0\n```", "span": { "start_byte": 321, "end_byte": 421, "start_line": 14, "end_line": 19 }, "members": [ { "kind": "variant", "name": "Val", "qualified_name": "core.res.Res.Val", "signature": "Val(T)", "params": [], "return_type": null, "doc": "A successful result.", "span": { "start_byte": 370, "end_byte": 376, "start_line": 16, "end_line": 16 }, "members": [], "requires_unsafe": null }, { "kind": "variant", "name": "Err", "qualified_name": "core.res.Res.Err", "signature": "Err(E)", "params": [], "return_type": null, "doc": "A recoverable failure.", "span": { "start_byte": 412, "end_byte": 418, "start_line": 18, "end_line": 18 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Res[@T, @E]", "qualified_name": "core.res.Res[@T, @E]", "signature": "impl Res[@T, @E]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 423, "end_byte": 1479, "start_line": 21, "end_line": 61 }, "members": [ { "kind": "method", "name": "unwrap", "qualified_name": "core.res.Res[@T, @E].unwrap", "signature": "func unwrap(self): T", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "T", "doc": "Return the success payload. Stop with an error if this is `Err`.", "span": { "start_byte": 518, "end_byte": 663, "start_line": 23, "end_line": 28 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "unwrap_or", "qualified_name": "core.res.Res[@T, @E].unwrap_or", "signature": "func unwrap_or(self, default: T): T", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "default", "type_expr": "T", "variadic": false } ], "return_type": "T", "doc": "Return the success payload, or the eagerly evaluated `default` on failure.", "span": { "start_byte": 751, "end_byte": 885, "start_line": 31, "end_line": 36 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "unwrap_err", "qualified_name": "core.res.Res[@T, @E].unwrap_err", "signature": "func unwrap_err(self): E", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "E", "doc": "Return the error payload. Stop with an error if this is `Val`.", "span": { "start_byte": 961, "end_byte": 1114, "start_line": 39, "end_line": 44 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "is_val", "qualified_name": "core.res.Res[@T, @E].is_val", "signature": "func is_val(self): Bool", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Whether this result contains a success value.", "span": { "start_byte": 1173, "end_byte": 1296, "start_line": 47, "end_line": 52 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "is_err", "qualified_name": "core.res.Res[@T, @E].is_err", "signature": "func is_err(self): Bool", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Whether this result contains an error value.", "span": { "start_byte": 1354, "end_byte": 1477, "start_line": 55, "end_line": 60 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "core.iter", "path": "std/core/iter.ks", "source_kind": "embedded", "doc": "The iterator interfaces used by `for` loops.", "symbols": [ { "kind": "import", "name": "core.opt", "qualified_name": "core.iter.core.opt", "signature": "import core.opt.{Opt}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 50, "end_byte": 71, "start_line": 3, "end_line": 3 }, "members": [], "requires_unsafe": null }, { "kind": "interface", "name": "Iter", "qualified_name": "core.iter.Iter", "signature": "type Iter[T]", "params": [], "return_type": null, "doc": "A stateful iterator that yields values of type `T`.", "span": { "start_byte": 128, "end_byte": 245, "start_line": 6, "end_line": 9 }, "members": [ { "kind": "method", "name": "next", "qualified_name": "core.iter.Iter.next", "signature": "func next(self): Opt[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Opt[T]", "doc": "Advance the iterator. Return `Val(item)` or `Non` when exhausted.", "span": { "start_byte": 220, "end_byte": 243, "start_line": 8, "end_line": 8 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "interface", "name": "ToIter", "qualified_name": "core.iter.ToIter", "signature": "type ToIter[T]", "params": [], "return_type": null, "doc": "A value that can provide an iterator. `for` calls `to_iter` before iteration.", "span": { "start_byte": 328, "end_byte": 421, "start_line": 12, "end_line": 15 }, "members": [ { "kind": "method", "name": "to_iter", "qualified_name": "core.iter.ToIter.to_iter", "signature": "func to_iter(self): Iter[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Iter[T]", "doc": "Create an iterator over this value.", "span": { "start_byte": 392, "end_byte": 419, "start_line": 14, "end_line": 14 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "core.lifecycle", "path": "std/core/lifecycle.ks", "source_kind": "embedded", "doc": "Lifecycle protocol declarations. These interfaces do not by themselves establish ownership or deep-copy guarantees.", "symbols": [ { "kind": "interface", "name": "Drop", "qualified_name": "core.lifecycle.Drop", "signature": "type Drop", "params": [], "return_type": null, "doc": "Release resources when the interpreter drops a value.", "span": { "start_byte": 178, "end_byte": 247, "start_line": 4, "end_line": 7 }, "members": [ { "kind": "method", "name": "drop", "qualified_name": "core.lifecycle.Drop.drop", "signature": "func drop(self)", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Perform the value's cleanup.", "span": { "start_byte": 230, "end_byte": 245, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "interface", "name": "Copy", "qualified_name": "core.lifecycle.Copy", "signature": "type Copy", "params": [], "return_type": null, "doc": "The declared interface for copying a value. Copy semantics remain under development.", "span": { "start_byte": 337, "end_byte": 417, "start_line": 10, "end_line": 13 }, "members": [ { "kind": "method", "name": "copy", "qualified_name": "core.lifecycle.Copy.copy", "signature": "func copy(self): Self", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Self", "doc": "Produce a value of the same type.", "span": { "start_byte": 394, "end_byte": 415, "start_line": 12, "end_line": 12 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "interface", "name": "Dupe", "qualified_name": "core.lifecycle.Dupe", "signature": "type Dupe", "params": [], "return_type": null, "doc": "The declared interface for explicit duplication. Deep-copy semantics remain under development.", "span": { "start_byte": 517, "end_byte": 601, "start_line": 16, "end_line": 19 }, "members": [ { "kind": "method", "name": "dupe", "qualified_name": "core.lifecycle.Dupe.dupe", "signature": "func dupe(self): Self", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Self", "doc": "Produce a duplicate of the same type.", "span": { "start_byte": 578, "end_byte": 599, "start_line": 18, "end_line": 18 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "core.indexing", "path": "std/core/indexing.ks", "source_kind": "embedded", "doc": "Indexed access protocols behind `value[key]` and `value[key] = item`.", "symbols": [ { "kind": "interface", "name": "GetItem", "qualified_name": "core.indexing.GetItem", "signature": "type GetItem[K, V]", "params": [], "return_type": null, "doc": "Read a value by key. Implementations define missing-key behavior.", "span": { "start_byte": 144, "end_byte": 240, "start_line": 4, "end_line": 7 }, "members": [ { "kind": "method", "name": "get_item", "qualified_name": "core.indexing.GetItem.get_item", "signature": "func get_item(self, key: K): V", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "V", "doc": "Resolve `self[key]` to a value.", "span": { "start_byte": 208, "end_byte": 238, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "interface", "name": "SetItem", "qualified_name": "core.indexing.SetItem", "signature": "type SetItem[K, V]", "params": [], "return_type": null, "doc": "Write a value by key.", "span": { "start_byte": 267, "end_byte": 364, "start_line": 10, "end_line": 13 }, "members": [ { "kind": "method", "name": "set_item", "qualified_name": "core.indexing.SetItem.set_item", "signature": "func set_item(self, key: K, val: V)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false }, { "name": "val", "type_expr": "V", "variadic": false } ], "return_type": null, "doc": "Store `val` at `self[key]`.", "span": { "start_byte": 327, "end_byte": 362, "start_line": 12, "end_line": 12 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "core.conv", "path": "std/core/conv.ks", "source_kind": "embedded", "doc": "Byte conversion and hashing interfaces.", "symbols": [ { "kind": "interface", "name": "ToBin", "qualified_name": "core.conv.ToBin", "signature": "type ToBin", "params": [], "return_type": null, "doc": "Convert a value into an immutable byte string.", "span": { "start_byte": 95, "end_byte": 175, "start_line": 4, "end_line": 7 }, "members": [ { "kind": "method", "name": "to_bin", "qualified_name": "core.conv.ToBin.to_bin", "signature": "func to_bin(self): Bin", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Bin", "doc": "Return the byte representation.", "span": { "start_byte": 151, "end_byte": 173, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "interface", "name": "Hash", "qualified_name": "core.conv.Hash", "signature": "type Hash", "params": [], "return_type": null, "doc": "Hash a value for use as a map key. Equal keys must produce equal hashes.", "span": { "start_byte": 253, "end_byte": 329, "start_line": 10, "end_line": 13 }, "members": [ { "kind": "method", "name": "hash", "qualified_name": "core.conv.Hash.hash", "signature": "func hash(self): U64", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "U64", "doc": "Return a 64-bit unsigned hash.", "span": { "start_byte": 307, "end_byte": 327, "start_line": 12, "end_line": 12 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "mem", "path": "std/mem/mod.ks", "source_kind": "embedded", "doc": "Memory primitives and allocation helpers. Prefer `Arr` and `Map` for ordinary collections.", "symbols": [ { "kind": "import", "name": "mem.allocator", "qualified_name": "mem.mem.allocator", "signature": "import mem.allocator.{Allocator, HeapAllocator, heap}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 412, "end_byte": 465, "start_line": 13, "end_line": 13 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem.ptr", "qualified_name": "mem.mem.ptr", "signature": "import mem.ptr.{Ptr}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 466, "end_byte": 486, "start_line": 14, "end_line": 14 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem.buf", "qualified_name": "mem.mem.buf", "signature": "import mem.buf.{Buf}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 487, "end_byte": 507, "start_line": 15, "end_line": 15 }, "members": [], "requires_unsafe": null } ] }, { "id": "mem.allocator", "path": "std/mem/allocator.ks", "source_kind": "embedded", "doc": "Allocation interface and the interpreter-backed heap allocator.", "symbols": [ { "kind": "interface", "name": "Allocator", "qualified_name": "mem.allocator.Allocator", "signature": "type Allocator", "params": [], "return_type": null, "doc": "Allocate, grow, and release raw storage measured in value slots.", "span": { "start_byte": 137, "end_byte": 433, "start_line": 4, "end_line": 11 }, "members": [ { "kind": "method", "name": "make", "qualified_name": "mem.allocator.Allocator.make", "signature": "func make(self, cap: Int): RawPtr", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "cap", "type_expr": "Int", "variadic": false } ], "return_type": "RawPtr", "doc": "Allocate `cap` slots.", "span": { "start_byte": 187, "end_byte": 220, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "grow", "qualified_name": "mem.allocator.Allocator.grow", "signature": "func grow(self, raw: RawPtr, old_cap: Int, new_cap: Int): RawPtr", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "raw", "type_expr": "RawPtr", "variadic": false }, { "name": "old_cap", "type_expr": "Int", "variadic": false }, { "name": "new_cap", "type_expr": "Int", "variadic": false } ], "return_type": "RawPtr", "doc": "Move `old_cap` slots into a new allocation and release the old one.", "span": { "start_byte": 300, "end_byte": 364, "start_line": 8, "end_line": 8 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "free", "qualified_name": "mem.allocator.Allocator.free", "signature": "func free(self, raw: RawPtr)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "raw", "type_expr": "RawPtr", "variadic": false } ], "return_type": null, "doc": "Release a live allocation.", "span": { "start_byte": 403, "end_byte": 431, "start_line": 10, "end_line": 10 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "kind", "name": "HeapAllocator", "qualified_name": "mem.allocator.HeapAllocator", "signature": "kind HeapAllocator", "params": [], "return_type": null, "doc": "An allocator implemented with the interpreter's raw memory intrinsics.", "span": { "start_byte": 509, "end_byte": 530, "start_line": 14, "end_line": 14 }, "members": [], "requires_unsafe": null }, { "kind": "impl", "name": "HeapAllocator as Allocator", "qualified_name": "mem.allocator.HeapAllocator as Allocator", "signature": "impl HeapAllocator as Allocator", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 532, "end_byte": 1315, "start_line": 16, "end_line": 40 }, "members": [ { "kind": "method", "name": "make", "qualified_name": "mem.allocator.HeapAllocator as Allocator.make", "signature": "func make(self, cap: Int): RawPtr", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "cap", "type_expr": "Int", "variadic": false } ], "return_type": "RawPtr", "doc": "Allocate `cap` value slots through `mem.alloc`.", "span": { "start_byte": 625, "end_byte": 704, "start_line": 18, "end_line": 20 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "grow", "qualified_name": "mem.allocator.HeapAllocator as Allocator.grow", "signature": "func grow(self, raw: RawPtr, old_cap: Int, new_cap: Int): RawPtr", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "raw", "type_expr": "RawPtr", "variadic": false }, { "name": "old_cap", "type_expr": "Int", "variadic": false }, { "name": "new_cap", "type_expr": "Int", "variadic": false } ], "return_type": "RawPtr", "doc": "Allocate new storage, copy `old_cap` slots, and free `raw`. Requires `new_cap >= old_cap`.", "span": { "start_byte": 808, "end_byte": 1152, "start_line": 23, "end_line": 34 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "free", "qualified_name": "mem.allocator.HeapAllocator as Allocator.free", "signature": "func free(self, raw: RawPtr)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "raw", "type_expr": "RawPtr", "variadic": false } ], "return_type": null, "doc": "Free the allocation through `mem.free`; later access to the handle is invalid.", "span": { "start_byte": 1244, "end_byte": 1313, "start_line": 37, "end_line": 39 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "binding", "name": "heap", "qualified_name": "mem.allocator.heap", "signature": "let heap = HeapAllocator {}", "params": [], "return_type": null, "doc": "The shared heap allocator value. Import with `import mem.{heap}`.", "span": { "start_byte": 1386, "end_byte": 1413, "start_line": 43, "end_line": 43 }, "members": [], "requires_unsafe": null } ] }, { "id": "mem.ptr", "path": "std/mem/ptr.ks", "source_kind": "embedded", "doc": "Typed access to a raw allocation. These wrappers do not establish ownership.", "symbols": [ { "kind": "kind", "name": "Ptr", "qualified_name": "mem.ptr.Ptr", "signature": "kind Ptr[T]", "params": [], "return_type": null, "doc": "A typed view of raw storage. The caller must preserve allocation lifetime and element types.", "span": { "start_byte": 178, "end_byte": 251, "start_line": 4, "end_line": 7 }, "members": [ { "kind": "field", "name": "raw", "qualified_name": "mem.ptr.Ptr.raw", "signature": "raw: RawPtr", "params": [], "return_type": "RawPtr", "doc": "Handle to the backing allocation.", "span": { "start_byte": 237, "end_byte": 248, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Ptr[@T]", "qualified_name": "mem.ptr.Ptr[@T]", "signature": "impl Ptr[@T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 253, "end_byte": 621, "start_line": 9, "end_line": 19 }, "members": [ { "kind": "method", "name": "read", "qualified_name": "mem.ptr.Ptr[@T].read", "signature": "func read(self, index: Int): T", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false } ], "return_type": "T", "doc": "Read an initialized slot and validate the returned value against `T`.", "span": { "start_byte": 349, "end_byte": 436, "start_line": 11, "end_line": 13 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "write", "qualified_name": "mem.ptr.Ptr[@T].write", "signature": "func write(self, index: Int, val: T)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false }, { "name": "val", "type_expr": "T", "variadic": false } ], "return_type": null, "doc": "Store a value in the selected slot. The raw allocation must still be live.", "span": { "start_byte": 524, "end_byte": 619, "start_line": 16, "end_line": 18 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "mem.buf", "path": "std/mem/buf.ks", "source_kind": "embedded", "doc": "A typed allocation with capacity, underneath the array's live-element count.", "symbols": [ { "kind": "import", "name": "core.lifecycle", "qualified_name": "mem.buf.core.lifecycle", "signature": "import core.lifecycle.{Drop}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 82, "end_byte": 110, "start_line": 3, "end_line": 3 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem.ptr", "qualified_name": "mem.buf.mem.ptr", "signature": "import mem.ptr.{Ptr}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 111, "end_byte": 131, "start_line": 4, "end_line": 4 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem.allocator", "qualified_name": "mem.buf.mem.allocator", "signature": "import mem.allocator.{heap}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 132, "end_byte": 159, "start_line": 5, "end_line": 5 }, "members": [], "requires_unsafe": null }, { "kind": "kind", "name": "Buf", "qualified_name": "mem.buf.Buf", "signature": "kind Buf[T]", "params": [], "return_type": null, "doc": "A pointer and capacity. Capacity alone does not mean all slots are initialized.", "span": { "start_byte": 244, "end_byte": 364, "start_line": 8, "end_line": 13 }, "members": [ { "kind": "field", "name": "ptr", "qualified_name": "mem.buf.Buf.ptr", "signature": "ptr: Ptr[T]", "params": [], "return_type": "Ptr[T]", "doc": "Typed pointer to the allocation.", "span": { "start_byte": 302, "end_byte": 313, "start_line": 10, "end_line": 10 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "cap", "qualified_name": "mem.buf.Buf.cap", "signature": "cap: Int", "params": [], "return_type": "Int", "doc": "Number of allocated slots.", "span": { "start_byte": 353, "end_byte": 361, "start_line": 12, "end_line": 12 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Buf[@T]", "qualified_name": "mem.buf.Buf[@T]", "signature": "impl Buf[@T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 366, "end_byte": 994, "start_line": 15, "end_line": 33 }, "members": [ { "kind": "method", "name": "read", "qualified_name": "mem.buf.Buf[@T].read", "signature": "func read(self, index: Int): T", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false } ], "return_type": "T", "doc": "Read a slot through the typed pointer; callers track which slots are live.", "span": { "start_byte": 467, "end_byte": 538, "start_line": 17, "end_line": 19 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "write", "qualified_name": "mem.buf.Buf[@T].write", "signature": "func write(self, index: Int, val: T)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false }, { "name": "val", "type_expr": "T", "variadic": false } ], "return_type": null, "doc": "Write a typed value into the backing allocation.", "span": { "start_byte": 600, "end_byte": 679, "start_line": 22, "end_line": 24 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "grow", "qualified_name": "mem.buf.Buf[@T].grow", "signature": "func grow(self)", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Double capacity, or allocate four slots when empty, and move the contents.", "span": { "start_byte": 767, "end_byte": 992, "start_line": 27, "end_line": 32 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Buf[@T] as Drop", "qualified_name": "mem.buf.Buf[@T] as Drop", "signature": "impl Buf[@T] as Drop", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 996, "end_byte": 1151, "start_line": 35, "end_line": 40 }, "members": [ { "kind": "method", "name": "drop", "qualified_name": "mem.buf.Buf[@T] as Drop.drop", "signature": "func drop(self)", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Free the backing allocation. Aliases must not use it afterward.", "span": { "start_byte": 1094, "end_byte": 1149, "start_line": 37, "end_line": 39 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "dsa", "path": "std/dsa/mod.ks", "source_kind": "embedded", "doc": "Collections: arrays, maps, their iterators, and map slots.", "symbols": [ { "kind": "import", "name": "dsa.arr", "qualified_name": "dsa.dsa.arr", "signature": "import dsa.arr.{Arr, ArrIter}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 64, "end_byte": 93, "start_line": 3, "end_line": 3 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "dsa.map", "qualified_name": "dsa.dsa.map", "signature": "import dsa.map.{Slot, Map, MapIter}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 94, "end_byte": 129, "start_line": 4, "end_line": 4 }, "members": [], "requires_unsafe": null } ] }, { "id": "dsa.arr", "path": "std/dsa/arr.ks", "source_kind": "embedded", "doc": "Growable arrays with checked indexing, optional access, and iteration.", "symbols": [ { "kind": "import", "name": "core", "qualified_name": "dsa.arr.core", "signature": "import core.{Opt, GetItem, SetItem, ToBin}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 212, "end_byte": 254, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem", "qualified_name": "dsa.arr.mem", "signature": "import mem.{Ptr, Buf, heap}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 255, "end_byte": 282, "start_line": 7, "end_line": 7 }, "members": [], "requires_unsafe": null }, { "kind": "kind", "name": "Arr", "qualified_name": "dsa.arr.Arr", "signature": "kind Arr[T]", "params": [], "return_type": null, "doc": "A growable sequence of values of type `T`. `len` counts initialized elements.\nUse `get` for optional access or brackets for access that stops on an invalid index.\n\n```ks\nlet values = Arr[Int].new()\nvalues.push(10)\nvalues.push(20)\nprint(values.len)\nprint(values.pop().unwrap())\nprint(values.get(8).unwrap_or(-1))\n```\n```output\n2\n20\n-1\n```", "span": { "start_byte": 669, "end_byte": 866, "start_line": 25, "end_line": 30 }, "members": [ { "kind": "field", "name": "buf", "qualified_name": "dsa.arr.Arr.buf", "signature": "buf: Buf[T]", "params": [], "return_type": "Buf[T]", "doc": "Backing buffer. Changing it directly can violate the array's invariants.", "span": { "start_byte": 767, "end_byte": 778, "start_line": 27, "end_line": 27 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "len", "qualified_name": "dsa.arr.Arr.len", "signature": "len: Int", "params": [], "return_type": "Int", "doc": "Number of live elements, from zero through the buffer capacity.", "span": { "start_byte": 855, "end_byte": 863, "start_line": 29, "end_line": 29 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Arr[@T]", "qualified_name": "dsa.arr.Arr[@T]", "signature": "impl Arr[@T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 868, "end_byte": 2597, "start_line": 32, "end_line": 91 }, "members": [ { "kind": "method", "name": "new", "qualified_name": "dsa.arr.Arr[@T].new", "signature": "func new(): Arr[T]", "params": [], "return_type": "Arr[T]", "doc": "Create an empty array with an initial capacity of four.", "span": { "start_byte": 950, "end_byte": 1144, "start_line": 34, "end_line": 41 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "push", "qualified_name": "dsa.arr.Arr[@T].push", "signature": "func push(self, val: T)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "val", "type_expr": "T", "variadic": false } ], "return_type": null, "doc": "Append `val`, growing the backing allocation when full. Mutates the array.", "span": { "start_byte": 1232, "end_byte": 1618, "start_line": 44, "end_line": 52 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "pop", "qualified_name": "dsa.arr.Arr[@T].pop", "signature": "func pop(self): Opt[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Opt[T]", "doc": "Remove and return the last value, or `Non` if empty.", "span": { "start_byte": 1684, "end_byte": 1858, "start_line": 55, "end_line": 61 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "get", "qualified_name": "dsa.arr.Arr[@T].get", "signature": "func get(self, index: Int): Opt[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false } ], "return_type": "Opt[T]", "doc": "Return the indexed value, or `Non` for a negative or out-of-range index.", "span": { "start_byte": 1944, "end_byte": 2112, "start_line": 64, "end_line": 69 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "set", "qualified_name": "dsa.arr.Arr[@T].set", "signature": "func set(self, index: Int, val: T): Bool", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false }, { "name": "val", "type_expr": "T", "variadic": false } ], "return_type": "Bool", "doc": "Replace an existing element. Return false without writing if the index is invalid.\n\n```ks\nlet values = [10, 20]\nprint(values.set(1, 30))\nprint(values[1])\nprint(values.set(9, 50))\n```\n```output\ntrue\n30\nfalse\n```", "span": { "start_byte": 2419, "end_byte": 2595, "start_line": 84, "end_line": 90 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "kind", "name": "ArrIter", "qualified_name": "dsa.arr.ArrIter", "signature": "kind ArrIter[T]", "params": [], "return_type": null, "doc": "An array iterator. Avoid changing the source array while iterating.", "span": { "start_byte": 2670, "end_byte": 2805, "start_line": 94, "end_line": 99 }, "members": [ { "kind": "field", "name": "arr", "qualified_name": "dsa.arr.ArrIter.arr", "signature": "arr: Arr[T]", "params": [], "return_type": "Arr[T]", "doc": "Array value used by this iterator.", "span": { "start_byte": 2734, "end_byte": 2745, "start_line": 96, "end_line": 96 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "idx", "qualified_name": "dsa.arr.ArrIter.idx", "signature": "idx: Int", "params": [], "return_type": "Int", "doc": "Index of the next element to visit.", "span": { "start_byte": 2794, "end_byte": 2802, "start_line": 98, "end_line": 98 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "ArrIter[@T] as Iter[T]", "qualified_name": "dsa.arr.ArrIter[@T] as Iter[T]", "signature": "impl ArrIter[@T] as Iter[T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 2807, "end_byte": 3138, "start_line": 101, "end_line": 111 }, "members": [ { "kind": "method", "name": "next", "qualified_name": "dsa.arr.ArrIter[@T] as Iter[T].next", "signature": "func next(self): Opt[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Opt[T]", "doc": "Yield the next element and advance, or return `Non` after the last element.", "span": { "start_byte": 2924, "end_byte": 3136, "start_line": 103, "end_line": 110 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Arr[@T] as GetItem[Int, T]", "qualified_name": "dsa.arr.Arr[@T] as GetItem[Int, T]", "signature": "impl Arr[@T] as GetItem[Int, T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 3140, "end_byte": 3447, "start_line": 113, "end_line": 121 }, "members": [ { "kind": "method", "name": "get_item", "qualified_name": "dsa.arr.Arr[@T] as GetItem[Int, T].get_item", "signature": "func get_item(self, key: Int): T", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "Int", "variadic": false } ], "return_type": "T", "doc": "Implement `array[key]`. Stop with an error when `key` is outside `0..len`.", "span": { "start_byte": 3260, "end_byte": 3445, "start_line": 115, "end_line": 120 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Arr[@T] as SetItem[Int, T]", "qualified_name": "dsa.arr.Arr[@T] as SetItem[Int, T]", "signature": "impl Arr[@T] as SetItem[Int, T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 3449, "end_byte": 3759, "start_line": 123, "end_line": 131 }, "members": [ { "kind": "method", "name": "set_item", "qualified_name": "dsa.arr.Arr[@T] as SetItem[Int, T].set_item", "signature": "func set_item(self, key: Int, val: T)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "Int", "variadic": false }, { "name": "val", "type_expr": "T", "variadic": false } ], "return_type": null, "doc": "Implement `array[key] = val`. Stop with an error for an invalid index.", "span": { "start_byte": 3565, "end_byte": 3757, "start_line": 125, "end_line": 130 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Arr[@T] as ToIter[T]", "qualified_name": "dsa.arr.Arr[@T] as ToIter[T]", "signature": "impl Arr[@T] as ToIter[T]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 3761, "end_byte": 3935, "start_line": 133, "end_line": 138 }, "members": [ { "kind": "method", "name": "to_iter", "qualified_name": "dsa.arr.Arr[@T] as ToIter[T].to_iter", "signature": "func to_iter(self): ArrIter[T]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "ArrIter[T]", "doc": "Create an iterator starting at the first element.", "span": { "start_byte": 3850, "end_byte": 3933, "start_line": 135, "end_line": 137 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Arr[Byte] as ToBin", "qualified_name": "dsa.arr.Arr[Byte] as ToBin", "signature": "impl Arr[Byte] as ToBin", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 3937, "end_byte": 4171, "start_line": 140, "end_line": 147 }, "members": [ { "kind": "method", "name": "to_bin", "qualified_name": "dsa.arr.Arr[Byte] as ToBin.to_bin", "signature": "func to_bin(self): Bin", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Bin", "doc": "Copy the live bytes into an immutable byte string. Available on `Arr[Byte]`.", "span": { "start_byte": 4051, "end_byte": 4169, "start_line": 142, "end_line": 146 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "dsa.map", "path": "std/dsa/map.ks", "source_kind": "embedded", "doc": "Hash maps with optional lookup, indexed access, removal, and entry iteration.", "symbols": [ { "kind": "import", "name": "core", "qualified_name": "dsa.map.core", "signature": "import core.{Opt, Hash, GetItem, SetItem}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 211, "end_byte": 252, "start_line": 6, "end_line": 6 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "mem", "qualified_name": "dsa.map.mem", "signature": "import mem.{Ptr, Buf, heap}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 253, "end_byte": 280, "start_line": 7, "end_line": 7 }, "members": [], "requires_unsafe": null }, { "kind": "import", "name": "dsa.arr", "qualified_name": "dsa.map.dsa.arr", "signature": "import dsa.arr.{Arr}", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 281, "end_byte": 301, "start_line": 8, "end_line": 8 }, "members": [], "requires_unsafe": null }, { "kind": "enum", "name": "Slot", "qualified_name": "dsa.map.Slot", "signature": "enum Slot[K, V]", "params": [], "return_type": null, "doc": "A backing-table slot. Applications normally work with `Map` instead.", "span": { "start_byte": 375, "end_byte": 561, "start_line": 11, "end_line": 18 }, "members": [ { "kind": "variant", "name": "Empty", "qualified_name": "dsa.map.Slot.Empty", "signature": "Empty", "params": [], "return_type": null, "doc": "A slot that has never held an entry.", "span": { "start_byte": 441, "end_byte": 446, "start_line": 13, "end_line": 13 }, "members": [], "requires_unsafe": null }, { "kind": "variant", "name": "Del", "qualified_name": "dsa.map.Slot.Del", "signature": "Del", "params": [], "return_type": null, "doc": "A removed entry, retained as a probe-chain marker.", "span": { "start_byte": 510, "end_byte": 513, "start_line": 15, "end_line": 15 }, "members": [], "requires_unsafe": null }, { "kind": "variant", "name": "Used", "qualified_name": "dsa.map.Slot.Used", "signature": "Used(K, V)", "params": [], "return_type": null, "doc": "A live key and value.", "span": { "start_byte": 548, "end_byte": 558, "start_line": 17, "end_line": 17 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "kind", "name": "Map", "qualified_name": "dsa.map.Map", "signature": "kind Map[K, V]", "params": [], "return_type": null, "doc": "A hash map from `K` to `V`. Keys need compatible `hash` and equality behavior.\nIteration order follows the backing table and is not insertion order.\n\n```ks\nlet counts = Map[Str, Int].new()\ncounts[\"kata\"] = 2\nprint(counts.get(\"kata\").unwrap())\nprint(counts.has(\"missing\"))\nprint(counts.del(\"kata\"))\nprint(counts.len())\n```\n```output\n2\nfalse\ntrue\n0\n```", "span": { "start_byte": 964, "end_byte": 1177, "start_line": 37, "end_line": 44 }, "members": [ { "kind": "field", "name": "slots", "qualified_name": "dsa.map.Map.slots", "signature": "slots: Arr[Slot[K, V]]", "params": [], "return_type": "Arr[Slot[K, V]]", "doc": "Backing slots; direct mutation can violate the map's invariants.", "span": { "start_byte": 1057, "end_byte": 1079, "start_line": 39, "end_line": 39 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "count", "qualified_name": "dsa.map.Map.count", "signature": "count: Int", "params": [], "return_type": "Int", "doc": "Number of live entries.", "span": { "start_byte": 1116, "end_byte": 1126, "start_line": 41, "end_line": 41 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "cap", "qualified_name": "dsa.map.Map.cap", "signature": "cap: Int", "params": [], "return_type": "Int", "doc": "Number of allocated slots.", "span": { "start_byte": 1166, "end_byte": 1174, "start_line": 43, "end_line": 43 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Map[@K, @V]", "qualified_name": "dsa.map.Map[@K, @V]", "signature": "impl Map[@K, @V]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 1179, "end_byte": 4830, "start_line": 46, "end_line": 181 }, "members": [ { "kind": "method", "name": "new", "qualified_name": "dsa.map.Map[@K, @V].new", "signature": "func new(): Map[K, V]", "params": [], "return_type": "Map[K, V]", "doc": "Create an empty map with eight initial slots.", "span": { "start_byte": 1255, "end_byte": 1712, "start_line": 48, "end_line": 64 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "_idx", "qualified_name": "dsa.map.Map[@K, @V]._idx", "signature": "func _idx(self, key: K): Int", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "Int", "doc": "Implementation helper: compute the key's first probe position.", "span": { "start_byte": 1788, "end_byte": 1867, "start_line": 67, "end_line": 69 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "_find", "qualified_name": "dsa.map.Map[@K, @V]._find", "signature": "func _find(self, key: K): Tup[Int, Bool]", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "Tup[Int, Bool]", "doc": "Implementation helper: return a slot index and whether the key was found.", "span": { "start_byte": 1954, "end_byte": 2514, "start_line": 72, "end_line": 92 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "_grow", "qualified_name": "dsa.map.Map[@K, @V]._grow", "signature": "func _grow(self)", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Implementation helper: double the backing table and reinsert live entries.", "span": { "start_byte": 2602, "end_byte": 3312, "start_line": 95, "end_line": 121 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "get", "qualified_name": "dsa.map.Map[@K, @V].get", "signature": "func get(self, key: K): Opt[V]", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "Opt[V]", "doc": "Return the stored value, or `Non` when the key is absent.", "span": { "start_byte": 3383, "end_byte": 3668, "start_line": 124, "end_line": 134 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "set", "qualified_name": "dsa.map.Map[@K, @V].set", "signature": "func set(self, key: K, val: V)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false }, { "name": "val", "type_expr": "V", "variadic": false } ], "return_type": null, "doc": "Insert a key or replace its value. Grow the table when needed.\n\n```ks\nlet labels = Map[Int, Str].new()\nlabels.set(1, \"first\")\nlabels.set(1, \"updated\")\nprint(labels[1])\nprint(labels.len())\n```\n```output\nupdated\n1\n```", "span": { "start_byte": 3980, "end_byte": 4270, "start_line": 149, "end_line": 158 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "del", "qualified_name": "dsa.map.Map[@K, @V].del", "signature": "func del(self, key: K): Bool", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "Bool", "doc": "Remove the key. Return true if an entry was removed, otherwise false.", "span": { "start_byte": 4353, "end_byte": 4588, "start_line": 161, "end_line": 169 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "has", "qualified_name": "dsa.map.Map[@K, @V].has", "signature": "func has(self, key: K): Bool", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "Bool", "doc": "Whether the key has a live entry.", "span": { "start_byte": 4635, "end_byte": 4730, "start_line": 172, "end_line": 175 }, "members": [], "requires_unsafe": null }, { "kind": "method", "name": "len", "qualified_name": "dsa.map.Map[@K, @V].len", "signature": "func len(self): Int", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Int", "doc": "Return the number of live entries.", "span": { "start_byte": 4778, "end_byte": 4828, "start_line": 178, "end_line": 180 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Map[@K, @V] as GetItem[K, V]", "qualified_name": "dsa.map.Map[@K, @V] as GetItem[K, V]", "signature": "impl Map[@K, @V] as GetItem[K, V]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 4832, "end_byte": 5232, "start_line": 183, "end_line": 196 }, "members": [ { "kind": "method", "name": "get_item", "qualified_name": "dsa.map.Map[@K, @V] as GetItem[K, V].get_item", "signature": "func get_item(self, key: K): V", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false } ], "return_type": "V", "doc": "Implement `map[key]`. Stop with an error if the key is absent.", "span": { "start_byte": 4942, "end_byte": 5230, "start_line": 185, "end_line": 195 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Map[@K, @V] as SetItem[K, V]", "qualified_name": "dsa.map.Map[@K, @V] as SetItem[K, V]", "signature": "impl Map[@K, @V] as SetItem[K, V]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 5234, "end_byte": 5415, "start_line": 198, "end_line": 203 }, "members": [ { "kind": "method", "name": "set_item", "qualified_name": "dsa.map.Map[@K, @V] as SetItem[K, V].set_item", "signature": "func set_item(self, key: K, val: V)", "params": [ { "name": "self", "type_expr": null, "variadic": false }, { "name": "key", "type_expr": "K", "variadic": false }, { "name": "val", "type_expr": "V", "variadic": false } ], "return_type": null, "doc": "Implement `map[key] = val`, inserting or replacing the entry.", "span": { "start_byte": 5343, "end_byte": 5413, "start_line": 200, "end_line": 202 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "kind", "name": "MapIter", "qualified_name": "dsa.map.MapIter", "signature": "kind MapIter[K, V]", "params": [], "return_type": null, "doc": "An iterator over live `(key, value)` tuples in backing-table order.", "span": { "start_byte": 5488, "end_byte": 5663, "start_line": 206, "end_line": 213 }, "members": [ { "kind": "field", "name": "slots", "qualified_name": "dsa.map.MapIter.slots", "signature": "slots: Arr[Slot[K, V]]", "params": [], "return_type": "Arr[Slot[K, V]]", "doc": "Slots visited by the iterator.", "span": { "start_byte": 5551, "end_byte": 5573, "start_line": 208, "end_line": 208 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "cap", "qualified_name": "dsa.map.MapIter.cap", "signature": "cap: Int", "params": [], "return_type": "Int", "doc": "Number of slots to inspect.", "span": { "start_byte": 5614, "end_byte": 5622, "start_line": 210, "end_line": 210 }, "members": [], "requires_unsafe": null }, { "kind": "field", "name": "idx", "qualified_name": "dsa.map.MapIter.idx", "signature": "idx: Int", "params": [], "return_type": "Int", "doc": "Next slot index.", "span": { "start_byte": 5652, "end_byte": 5660, "start_line": 212, "end_line": 212 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "MapIter[@K, @V] as Iter[Tup[K, V]]", "qualified_name": "dsa.map.MapIter[@K, @V] as Iter[Tup[K, V]]", "signature": "impl MapIter[@K, @V] as Iter[Tup[K, V]]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 5665, "end_byte": 6105, "start_line": 215, "end_line": 228 }, "members": [ { "kind": "method", "name": "next", "qualified_name": "dsa.map.MapIter[@K, @V] as Iter[Tup[K, V]].next", "signature": "func next(self): Opt[Tup[K, V]]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "Opt[Tup[K, V]]", "doc": "Yield the next live entry, skipping empty and deleted slots.", "span": { "start_byte": 5779, "end_byte": 6103, "start_line": 217, "end_line": 227 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null }, { "kind": "impl", "name": "Map[@K, @V] as ToIter[Tup[K, V]]", "qualified_name": "dsa.map.Map[@K, @V] as ToIter[Tup[K, V]]", "signature": "impl Map[@K, @V] as ToIter[Tup[K, V]]", "params": [], "return_type": null, "doc": null, "span": { "start_byte": 6107, "end_byte": 6339, "start_line": 230, "end_line": 235 }, "members": [ { "kind": "method", "name": "to_iter", "qualified_name": "dsa.map.Map[@K, @V] as ToIter[Tup[K, V]].to_iter", "signature": "func to_iter(self): MapIter[K, V]", "params": [ { "name": "self", "type_expr": null, "variadic": false } ], "return_type": "MapIter[K, V]", "doc": "Create an entry iterator. Avoid mutating the map during iteration.", "span": { "start_byte": 6225, "end_byte": 6337, "start_line": 232, "end_line": 234 }, "members": [], "requires_unsafe": null } ], "requires_unsafe": null } ] }, { "id": "native", "path": null, "source_kind": "native", "doc": "Functions available in every program: output, type inspection, and explicit failure.", "symbols": [ { "kind": "native_function", "name": "print", "qualified_name": "native.print", "signature": "func print(): Nil", "params": [ { "name": "values", "type_expr": null, "variadic": true } ], "return_type": null, "doc": "Writes values separated by spaces followed by a newline.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "typeof", "qualified_name": "native.typeof", "signature": "func typeof(value): Type", "params": [ { "name": "value", "type_expr": null, "variadic": false } ], "return_type": "Type", "doc": "Returns the runtime type value for one argument.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "panic", "qualified_name": "native.panic", "signature": "func panic()", "params": [ { "name": "values", "type_expr": null, "variadic": true } ], "return_type": null, "doc": "Raises a runtime panic after formatting supplied values.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Bin", "path": null, "source_kind": "native", "doc": "Native methods on `Bin`.", "symbols": [ { "kind": "native_function", "name": "len", "qualified_name": "native.Bin.len", "signature": "func len(self: Bin): Int", "params": [ { "name": "self", "type_expr": "Bin", "variadic": false } ], "return_type": "Int", "doc": "Returns the byte length.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "get_item", "qualified_name": "native.Bin.get_item", "signature": "func get_item(self: Bin, index: Int): Byte", "params": [ { "name": "self", "type_expr": "Bin", "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false } ], "return_type": "Byte", "doc": "Returns the byte at `index`; negative, unrepresentable, or out-of-bounds indexes error.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "from_base64", "qualified_name": "native.Bin.from_base64", "signature": "func from_base64(text: Str): Bin", "params": [ { "name": "text", "type_expr": "Str", "variadic": false } ], "return_type": "Bin", "doc": "Decodes RFC 4648 base64 text, ignoring whitespace; invalid encoding errors.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Bin.hash", "signature": "func hash(self: Bin): U64", "params": [ { "name": "self", "type_expr": "Bin", "variadic": false } ], "return_type": "U64", "doc": "Returns this binary value's runtime hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Bool", "path": null, "source_kind": "native", "doc": "Native methods on `Bool`.", "symbols": [ { "kind": "native_function", "name": "hash", "qualified_name": "native.Bool.hash", "signature": "func hash(self: Bool): U64", "params": [ { "name": "self", "type_expr": "Bool", "variadic": false } ], "return_type": "U64", "doc": "Returns the value hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Byte", "path": null, "source_kind": "native", "doc": "Native methods on `Byte`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.Byte.to_int", "signature": "func to_int(self: Byte): Int", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false } ], "return_type": "Int", "doc": "Converts the byte value to Int.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.Byte.band", "signature": "func band(self: Byte, other: Byte): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false }, { "name": "other", "type_expr": "Byte", "variadic": false } ], "return_type": "Byte", "doc": "Returns the bitwise AND of two bytes.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.Byte.ior", "signature": "func ior(self: Byte, other: Byte): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false }, { "name": "other", "type_expr": "Byte", "variadic": false } ], "return_type": "Byte", "doc": "Returns the bitwise inclusive OR of two bytes.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.Byte.xor", "signature": "func xor(self: Byte, other: Byte): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false }, { "name": "other", "type_expr": "Byte", "variadic": false } ], "return_type": "Byte", "doc": "Returns the bitwise XOR of two bytes.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.Byte.inv", "signature": "func inv(self: Byte): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false } ], "return_type": "Byte", "doc": "Returns the bitwise complement of a byte.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.Byte.shl", "signature": "func shl(self: Byte, shift: Int): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false }, { "name": "shift", "type_expr": "Int", "variadic": false } ], "return_type": "Byte", "doc": "Shifts left with wrapping byte semantics; `shift` must convert to u32 or errors.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.Byte.shr", "signature": "func shr(self: Byte, shift: Int): Byte", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false }, { "name": "shift", "type_expr": "Int", "variadic": false } ], "return_type": "Byte", "doc": "Shifts right with wrapping byte semantics; `shift` must convert to u32 or errors.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Byte.hash", "signature": "func hash(self: Byte): U64", "params": [ { "name": "self", "type_expr": "Byte", "variadic": false } ], "return_type": "U64", "doc": "Returns this byte's runtime hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Char", "path": null, "source_kind": "native", "doc": "Native methods on `Char`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.Char.to_int", "signature": "func to_int(self: Char): Int", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Int", "doc": "Returns the Unicode scalar value as Int.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "is_alpha", "qualified_name": "native.Char.is_alpha", "signature": "func is_alpha(self: Char): Bool", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the character is alphabetic under Unicode classification.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "is_digit", "qualified_name": "native.Char.is_digit", "signature": "func is_digit(self: Char): Bool", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the character is an ASCII decimal digit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "is_upper", "qualified_name": "native.Char.is_upper", "signature": "func is_upper(self: Char): Bool", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the character is Unicode uppercase.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "is_lower", "qualified_name": "native.Char.is_lower", "signature": "func is_lower(self: Char): Bool", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the character is Unicode lowercase.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_upper", "qualified_name": "native.Char.to_upper", "signature": "func to_upper(self: Char): Char", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Char", "doc": "Returns the first Unicode uppercase character; multi-character mappings are truncated.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_lower", "qualified_name": "native.Char.to_lower", "signature": "func to_lower(self: Char): Char", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "Char", "doc": "Returns the first Unicode lowercase character; multi-character mappings are truncated.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Char.hash", "signature": "func hash(self: Char): U64", "params": [ { "name": "self", "type_expr": "Char", "variadic": false } ], "return_type": "U64", "doc": "Returns this character's runtime hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.F16", "path": null, "source_kind": "native", "doc": "Native methods on `F16`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.F16.to_int", "signature": "func to_int(self: F16): Int", "params": [ { "name": "self", "type_expr": "F16", "variadic": false } ], "return_type": "Int", "doc": "Truncate toward zero through a signed 128-bit intermediate. Out-of-range values saturate to its limits, and NaN becomes zero.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_float", "qualified_name": "native.F16.to_float", "signature": "func to_float(self: F16): Float", "params": [ { "name": "self", "type_expr": "F16", "variadic": false } ], "return_type": "Float", "doc": "Convert to the language's 64-bit Float representation.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.F16.hash", "signature": "func hash(self: F16): U64", "params": [ { "name": "self", "type_expr": "F16", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.F32", "path": null, "source_kind": "native", "doc": "Native methods on `F32`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.F32.to_int", "signature": "func to_int(self: F32): Int", "params": [ { "name": "self", "type_expr": "F32", "variadic": false } ], "return_type": "Int", "doc": "Truncate toward zero through a signed 128-bit intermediate. Out-of-range values saturate to its limits, and NaN becomes zero.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_float", "qualified_name": "native.F32.to_float", "signature": "func to_float(self: F32): Float", "params": [ { "name": "self", "type_expr": "F32", "variadic": false } ], "return_type": "Float", "doc": "Convert to the language's 64-bit Float representation.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.F32.hash", "signature": "func hash(self: F32): U64", "params": [ { "name": "self", "type_expr": "F32", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.F64", "path": null, "source_kind": "native", "doc": "Native methods on `F64`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.F64.to_int", "signature": "func to_int(self: F64): Int", "params": [ { "name": "self", "type_expr": "F64", "variadic": false } ], "return_type": "Int", "doc": "Truncate toward zero through a signed 128-bit intermediate. Out-of-range values saturate to its limits, and NaN becomes zero.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_float", "qualified_name": "native.F64.to_float", "signature": "func to_float(self: F64): Float", "params": [ { "name": "self", "type_expr": "F64", "variadic": false } ], "return_type": "Float", "doc": "Convert to the language's 64-bit Float representation.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.F64.hash", "signature": "func hash(self: F64): U64", "params": [ { "name": "self", "type_expr": "F64", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Float", "path": null, "source_kind": "native", "doc": "Native methods on `Float`.", "symbols": [ { "kind": "native_function", "name": "hash", "qualified_name": "native.Float.hash", "signature": "func hash(self: Float): U64", "params": [ { "name": "self", "type_expr": "Float", "variadic": false } ], "return_type": "U64", "doc": "Returns the value hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.I128", "path": null, "source_kind": "native", "doc": "Native methods on `I128`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.I128.to_int", "signature": "func to_int(self: I128): Int", "params": [ { "name": "self", "type_expr": "I128", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.I128.hash", "signature": "func hash(self: I128): U64", "params": [ { "name": "self", "type_expr": "I128", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.I128.band", "signature": "func band(self: I128, other: I128): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false }, { "name": "other", "type_expr": "I128", "variadic": false } ], "return_type": "I128", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.I128.ior", "signature": "func ior(self: I128, other: I128): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false }, { "name": "other", "type_expr": "I128", "variadic": false } ], "return_type": "I128", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.I128.xor", "signature": "func xor(self: I128, other: I128): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false }, { "name": "other", "type_expr": "I128", "variadic": false } ], "return_type": "I128", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.I128.inv", "signature": "func inv(self: I128): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false } ], "return_type": "I128", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.I128.shl", "signature": "func shl(self: I128, count: Int): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I128", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.I128.shr", "signature": "func shr(self: I128, count: Int): I128", "params": [ { "name": "self", "type_expr": "I128", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I128", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.I16", "path": null, "source_kind": "native", "doc": "Native methods on `I16`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.I16.to_int", "signature": "func to_int(self: I16): Int", "params": [ { "name": "self", "type_expr": "I16", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.I16.hash", "signature": "func hash(self: I16): U64", "params": [ { "name": "self", "type_expr": "I16", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.I16.band", "signature": "func band(self: I16, other: I16): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false }, { "name": "other", "type_expr": "I16", "variadic": false } ], "return_type": "I16", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.I16.ior", "signature": "func ior(self: I16, other: I16): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false }, { "name": "other", "type_expr": "I16", "variadic": false } ], "return_type": "I16", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.I16.xor", "signature": "func xor(self: I16, other: I16): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false }, { "name": "other", "type_expr": "I16", "variadic": false } ], "return_type": "I16", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.I16.inv", "signature": "func inv(self: I16): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false } ], "return_type": "I16", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.I16.shl", "signature": "func shl(self: I16, count: Int): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I16", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.I16.shr", "signature": "func shr(self: I16, count: Int): I16", "params": [ { "name": "self", "type_expr": "I16", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I16", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.I32", "path": null, "source_kind": "native", "doc": "Native methods on `I32`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.I32.to_int", "signature": "func to_int(self: I32): Int", "params": [ { "name": "self", "type_expr": "I32", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.I32.hash", "signature": "func hash(self: I32): U64", "params": [ { "name": "self", "type_expr": "I32", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.I32.band", "signature": "func band(self: I32, other: I32): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false }, { "name": "other", "type_expr": "I32", "variadic": false } ], "return_type": "I32", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.I32.ior", "signature": "func ior(self: I32, other: I32): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false }, { "name": "other", "type_expr": "I32", "variadic": false } ], "return_type": "I32", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.I32.xor", "signature": "func xor(self: I32, other: I32): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false }, { "name": "other", "type_expr": "I32", "variadic": false } ], "return_type": "I32", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.I32.inv", "signature": "func inv(self: I32): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false } ], "return_type": "I32", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.I32.shl", "signature": "func shl(self: I32, count: Int): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I32", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.I32.shr", "signature": "func shr(self: I32, count: Int): I32", "params": [ { "name": "self", "type_expr": "I32", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I32", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.I64", "path": null, "source_kind": "native", "doc": "Native methods on `I64`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.I64.to_int", "signature": "func to_int(self: I64): Int", "params": [ { "name": "self", "type_expr": "I64", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.I64.hash", "signature": "func hash(self: I64): U64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.I64.band", "signature": "func band(self: I64, other: I64): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false }, { "name": "other", "type_expr": "I64", "variadic": false } ], "return_type": "I64", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.I64.ior", "signature": "func ior(self: I64, other: I64): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false }, { "name": "other", "type_expr": "I64", "variadic": false } ], "return_type": "I64", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.I64.xor", "signature": "func xor(self: I64, other: I64): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false }, { "name": "other", "type_expr": "I64", "variadic": false } ], "return_type": "I64", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.I64.inv", "signature": "func inv(self: I64): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false } ], "return_type": "I64", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.I64.shl", "signature": "func shl(self: I64, count: Int): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I64", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.I64.shr", "signature": "func shr(self: I64, count: Int): I64", "params": [ { "name": "self", "type_expr": "I64", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I64", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.I8", "path": null, "source_kind": "native", "doc": "Native methods on `I8`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.I8.to_int", "signature": "func to_int(self: I8): Int", "params": [ { "name": "self", "type_expr": "I8", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.I8.hash", "signature": "func hash(self: I8): U64", "params": [ { "name": "self", "type_expr": "I8", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.I8.band", "signature": "func band(self: I8, other: I8): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false }, { "name": "other", "type_expr": "I8", "variadic": false } ], "return_type": "I8", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.I8.ior", "signature": "func ior(self: I8, other: I8): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false }, { "name": "other", "type_expr": "I8", "variadic": false } ], "return_type": "I8", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.I8.xor", "signature": "func xor(self: I8, other: I8): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false }, { "name": "other", "type_expr": "I8", "variadic": false } ], "return_type": "I8", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.I8.inv", "signature": "func inv(self: I8): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false } ], "return_type": "I8", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.I8.shl", "signature": "func shl(self: I8, count: Int): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I8", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.I8.shr", "signature": "func shr(self: I8, count: Int): I8", "params": [ { "name": "self", "type_expr": "I8", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "I8", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Int", "path": null, "source_kind": "native", "doc": "Native methods on `Int`.", "symbols": [ { "kind": "native_function", "name": "hash", "qualified_name": "native.Int.hash", "signature": "func hash(self: Int): U64", "params": [ { "name": "self", "type_expr": "Int", "variadic": false } ], "return_type": "U64", "doc": "Returns the value hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Isz", "path": null, "source_kind": "native", "doc": "Native methods on `Isz`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.Isz.to_int", "signature": "func to_int(self: Isz): Int", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Isz.hash", "signature": "func hash(self: Isz): U64", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.Isz.band", "signature": "func band(self: Isz, other: Isz): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false }, { "name": "other", "type_expr": "Isz", "variadic": false } ], "return_type": "Isz", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.Isz.ior", "signature": "func ior(self: Isz, other: Isz): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false }, { "name": "other", "type_expr": "Isz", "variadic": false } ], "return_type": "Isz", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.Isz.xor", "signature": "func xor(self: Isz, other: Isz): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false }, { "name": "other", "type_expr": "Isz", "variadic": false } ], "return_type": "Isz", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.Isz.inv", "signature": "func inv(self: Isz): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false } ], "return_type": "Isz", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.Isz.shl", "signature": "func shl(self: Isz, count: Int): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "Isz", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.Isz.shr", "signature": "func shr(self: Isz, count: Int): Isz", "params": [ { "name": "self", "type_expr": "Isz", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "Isz", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Str", "path": null, "source_kind": "native", "doc": "Native methods on `Str`.", "symbols": [ { "kind": "native_function", "name": "len", "qualified_name": "native.Str.len", "signature": "func len(self: Str): Int", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Int", "doc": "Returns the number of Unicode codepoints.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "contains", "qualified_name": "native.Str.contains", "signature": "func contains(self: Str, needle: Str): Bool", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "needle", "type_expr": "Str", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the string contains `needle`.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "starts_with", "qualified_name": "native.Str.starts_with", "signature": "func starts_with(self: Str, prefix: Str): Bool", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "prefix", "type_expr": "Str", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the string starts with `prefix`.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ends_with", "qualified_name": "native.Str.ends_with", "signature": "func ends_with(self: Str, suffix: Str): Bool", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "suffix", "type_expr": "Str", "variadic": false } ], "return_type": "Bool", "doc": "Returns whether the string ends with `suffix`.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "trim", "qualified_name": "native.Str.trim", "signature": "func trim(self: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Removes leading and trailing whitespace.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "trim_start", "qualified_name": "native.Str.trim_start", "signature": "func trim_start(self: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Removes leading whitespace.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "trim_end", "qualified_name": "native.Str.trim_end", "signature": "func trim_end(self: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Removes trailing whitespace.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_upper", "qualified_name": "native.Str.to_upper", "signature": "func to_upper(self: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Returns an uppercase string.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_lower", "qualified_name": "native.Str.to_lower", "signature": "func to_lower(self: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Returns a lowercase string.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "replace", "qualified_name": "native.Str.replace", "signature": "func replace(self: Str, from: Str, to: Str): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "from", "type_expr": "Str", "variadic": false }, { "name": "to", "type_expr": "Str", "variadic": false } ], "return_type": "Str", "doc": "Replaces all occurrences of `from` with `to`.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "substr", "qualified_name": "native.Str.substr", "signature": "func substr(self: Str, start: Int, len: Int): Str", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "start", "type_expr": "Int", "variadic": false }, { "name": "len", "type_expr": "Int", "variadic": false } ], "return_type": "Str", "doc": "Returns up to `len` codepoints beginning at `start`; negative or out-of-range indexes error.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "split", "qualified_name": "native.Str.split", "signature": "func split(self: Str, separator: Str): Arr[Str]", "params": [ { "name": "self", "type_expr": "Str", "variadic": false }, { "name": "separator", "type_expr": "Str", "variadic": false } ], "return_type": "Arr[Str]", "doc": "Splits the string into an array of strings.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_int", "qualified_name": "native.Str.to_int", "signature": "func to_int(self: Str): Int", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Int", "doc": "Parses trimmed text as Int; invalid input errors.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_float", "qualified_name": "native.Str.to_float", "signature": "func to_float(self: Str): Float", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Float", "doc": "Parses trimmed text as Float; invalid input errors.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "to_bin", "qualified_name": "native.Str.to_bin", "signature": "func to_bin(self: Str): Bin", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Bin", "doc": "Encodes the string as UTF-8 bytes.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "chars", "qualified_name": "native.Str.chars", "signature": "func chars(self: Str): Arr[Char]", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "Arr[Char]", "doc": "Returns an array of Unicode characters.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Str.hash", "signature": "func hash(self: Str): U64", "params": [ { "name": "self", "type_expr": "Str", "variadic": false } ], "return_type": "U64", "doc": "Returns this string's runtime hash.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Tup", "path": null, "source_kind": "native", "doc": "Native methods on `Tup`.", "symbols": [ { "kind": "native_function", "name": "hash", "qualified_name": "native.Tup.hash", "signature": "func hash(self: Tup): U64", "params": [ { "name": "self", "type_expr": "Tup", "variadic": false } ], "return_type": "U64", "doc": "Returns the value hash.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "len", "qualified_name": "native.Tup.len", "signature": "func len(self: Tup): Int", "params": [ { "name": "self", "type_expr": "Tup", "variadic": false } ], "return_type": "Int", "doc": "Returns the tuple arity.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.U128", "path": null, "source_kind": "native", "doc": "Native methods on `U128`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.U128.to_int", "signature": "func to_int(self: U128): Int", "params": [ { "name": "self", "type_expr": "U128", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.U128.hash", "signature": "func hash(self: U128): U64", "params": [ { "name": "self", "type_expr": "U128", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.U128.band", "signature": "func band(self: U128, other: U128): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false }, { "name": "other", "type_expr": "U128", "variadic": false } ], "return_type": "U128", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.U128.ior", "signature": "func ior(self: U128, other: U128): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false }, { "name": "other", "type_expr": "U128", "variadic": false } ], "return_type": "U128", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.U128.xor", "signature": "func xor(self: U128, other: U128): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false }, { "name": "other", "type_expr": "U128", "variadic": false } ], "return_type": "U128", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.U128.inv", "signature": "func inv(self: U128): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false } ], "return_type": "U128", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.U128.shl", "signature": "func shl(self: U128, count: Int): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U128", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.U128.shr", "signature": "func shr(self: U128, count: Int): U128", "params": [ { "name": "self", "type_expr": "U128", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U128", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.U16", "path": null, "source_kind": "native", "doc": "Native methods on `U16`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.U16.to_int", "signature": "func to_int(self: U16): Int", "params": [ { "name": "self", "type_expr": "U16", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.U16.hash", "signature": "func hash(self: U16): U64", "params": [ { "name": "self", "type_expr": "U16", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.U16.band", "signature": "func band(self: U16, other: U16): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false }, { "name": "other", "type_expr": "U16", "variadic": false } ], "return_type": "U16", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.U16.ior", "signature": "func ior(self: U16, other: U16): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false }, { "name": "other", "type_expr": "U16", "variadic": false } ], "return_type": "U16", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.U16.xor", "signature": "func xor(self: U16, other: U16): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false }, { "name": "other", "type_expr": "U16", "variadic": false } ], "return_type": "U16", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.U16.inv", "signature": "func inv(self: U16): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false } ], "return_type": "U16", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.U16.shl", "signature": "func shl(self: U16, count: Int): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U16", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.U16.shr", "signature": "func shr(self: U16, count: Int): U16", "params": [ { "name": "self", "type_expr": "U16", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U16", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.U32", "path": null, "source_kind": "native", "doc": "Native methods on `U32`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.U32.to_int", "signature": "func to_int(self: U32): Int", "params": [ { "name": "self", "type_expr": "U32", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.U32.hash", "signature": "func hash(self: U32): U64", "params": [ { "name": "self", "type_expr": "U32", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.U32.band", "signature": "func band(self: U32, other: U32): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false }, { "name": "other", "type_expr": "U32", "variadic": false } ], "return_type": "U32", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.U32.ior", "signature": "func ior(self: U32, other: U32): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false }, { "name": "other", "type_expr": "U32", "variadic": false } ], "return_type": "U32", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.U32.xor", "signature": "func xor(self: U32, other: U32): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false }, { "name": "other", "type_expr": "U32", "variadic": false } ], "return_type": "U32", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.U32.inv", "signature": "func inv(self: U32): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false } ], "return_type": "U32", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.U32.shl", "signature": "func shl(self: U32, count: Int): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U32", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.U32.shr", "signature": "func shr(self: U32, count: Int): U32", "params": [ { "name": "self", "type_expr": "U32", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U32", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.U64", "path": null, "source_kind": "native", "doc": "Native methods on `U64`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.U64.to_int", "signature": "func to_int(self: U64): Int", "params": [ { "name": "self", "type_expr": "U64", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.U64.hash", "signature": "func hash(self: U64): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.U64.band", "signature": "func band(self: U64, other: U64): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false }, { "name": "other", "type_expr": "U64", "variadic": false } ], "return_type": "U64", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.U64.ior", "signature": "func ior(self: U64, other: U64): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false }, { "name": "other", "type_expr": "U64", "variadic": false } ], "return_type": "U64", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.U64.xor", "signature": "func xor(self: U64, other: U64): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false }, { "name": "other", "type_expr": "U64", "variadic": false } ], "return_type": "U64", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.U64.inv", "signature": "func inv(self: U64): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false } ], "return_type": "U64", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.U64.shl", "signature": "func shl(self: U64, count: Int): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U64", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.U64.shr", "signature": "func shr(self: U64, count: Int): U64", "params": [ { "name": "self", "type_expr": "U64", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U64", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.U8", "path": null, "source_kind": "native", "doc": "Native methods on `U8`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.U8.to_int", "signature": "func to_int(self: U8): Int", "params": [ { "name": "self", "type_expr": "U8", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.U8.hash", "signature": "func hash(self: U8): U64", "params": [ { "name": "self", "type_expr": "U8", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.U8.band", "signature": "func band(self: U8, other: U8): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false }, { "name": "other", "type_expr": "U8", "variadic": false } ], "return_type": "U8", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.U8.ior", "signature": "func ior(self: U8, other: U8): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false }, { "name": "other", "type_expr": "U8", "variadic": false } ], "return_type": "U8", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.U8.xor", "signature": "func xor(self: U8, other: U8): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false }, { "name": "other", "type_expr": "U8", "variadic": false } ], "return_type": "U8", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.U8.inv", "signature": "func inv(self: U8): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false } ], "return_type": "U8", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.U8.shl", "signature": "func shl(self: U8, count: Int): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U8", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.U8.shr", "signature": "func shr(self: U8, count: Int): U8", "params": [ { "name": "self", "type_expr": "U8", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "U8", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.Usz", "path": null, "source_kind": "native", "doc": "Native methods on `Usz`.", "symbols": [ { "kind": "native_function", "name": "to_int", "qualified_name": "native.Usz.to_int", "signature": "func to_int(self: Usz): Int", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false } ], "return_type": "Int", "doc": "Convert to an arbitrary-precision Int without losing value.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "hash", "qualified_name": "native.Usz.hash", "signature": "func hash(self: Usz): U64", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false } ], "return_type": "U64", "doc": "Return the runtime hash. Hash values are not a stable serialization format.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "band", "qualified_name": "native.Usz.band", "signature": "func band(self: Usz, other: Usz): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false }, { "name": "other", "type_expr": "Usz", "variadic": false } ], "return_type": "Usz", "doc": "Apply bitwise `&` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ior", "qualified_name": "native.Usz.ior", "signature": "func ior(self: Usz, other: Usz): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false }, { "name": "other", "type_expr": "Usz", "variadic": false } ], "return_type": "Usz", "doc": "Apply bitwise `|` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "xor", "qualified_name": "native.Usz.xor", "signature": "func xor(self: Usz, other: Usz): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false }, { "name": "other", "type_expr": "Usz", "variadic": false } ], "return_type": "Usz", "doc": "Apply bitwise `^` to two values of the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "inv", "qualified_name": "native.Usz.inv", "signature": "func inv(self: Usz): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false } ], "return_type": "Usz", "doc": "Invert every bit, retaining the same fixed-width integer type.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shl", "qualified_name": "native.Usz.shl", "signature": "func shl(self: Usz, count: Int): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "Usz", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "shr", "qualified_name": "native.Usz.shr", "signature": "func shr(self: Usz, count: Int): Usz", "params": [ { "name": "self", "type_expr": "Usz", "variadic": false }, { "name": "count", "type_expr": "Int", "variadic": false } ], "return_type": "Usz", "doc": "Shift by a nonnegative count representable as U32. The count wraps modulo the integer width; signed right shifts extend the sign bit.", "span": null, "members": [], "requires_unsafe": false } ] }, { "id": "native.mem", "path": null, "source_kind": "native", "doc": "Raw allocation operations. Each call requires an unsafe block.", "symbols": [ { "kind": "native_function", "name": "alloc", "qualified_name": "native.mem.alloc", "signature": "func alloc(capacity: Int): RawPtr", "params": [ { "name": "capacity", "type_expr": "Int", "variadic": false } ], "return_type": "RawPtr", "doc": "Allocates an empty raw slot array with at least `capacity` storage.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "free", "qualified_name": "native.mem.free", "signature": "func free(raw: RawPtr): Nil", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false } ], "return_type": "Nil", "doc": "Releases a raw allocation; using an invalid or already-freed handle errors.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "read", "qualified_name": "native.mem.read", "signature": "func read(raw: RawPtr, index: Int)", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false } ], "return_type": null, "doc": "Reads a slot, returning nil when `index` is beyond the current length; freed handles error.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "write", "qualified_name": "native.mem.write", "signature": "func write(raw: RawPtr, index: Int, value): Nil", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false }, { "name": "index", "type_expr": "Int", "variadic": false }, { "name": "value", "type_expr": null, "variadic": false } ], "return_type": "Nil", "doc": "Writes a slot, extending intervening positions with nil; freed handles error.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "capacity", "qualified_name": "native.mem.capacity", "signature": "func capacity(raw: RawPtr): Int", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false } ], "return_type": "Int", "doc": "Returns allocation capacity; freed handles error.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "len", "qualified_name": "native.mem.len", "signature": "func len(raw: RawPtr): Int", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false } ], "return_type": "Int", "doc": "Returns initialized slot count; freed handles error.", "span": null, "members": [], "requires_unsafe": true }, { "kind": "native_function", "name": "bin_from_raw", "qualified_name": "native.mem.bin_from_raw", "signature": "func bin_from_raw(raw: RawPtr, len: Int): Bin", "params": [ { "name": "raw", "type_expr": "RawPtr", "variadic": false }, { "name": "len", "type_expr": "Int", "variadic": false } ], "return_type": "Bin", "doc": "Reads exactly `len` Byte slots into a Bin; errors on freed handles, non-Byte values, or bounds.", "span": null, "members": [], "requires_unsafe": true } ] }, { "id": "native.ops", "path": null, "source_kind": "native", "doc": "The interpreter's native implementations of arithmetic, comparison, and truth testing.", "symbols": [ { "kind": "native_function", "name": "add", "qualified_name": "native.ops.add", "signature": "func add(left, right)", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches `+`; supported operands and result depend on their runtime types.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "sub", "qualified_name": "native.ops.sub", "signature": "func sub(left, right)", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches `-`; numeric operands must be compatible.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "mul", "qualified_name": "native.ops.mul", "signature": "func mul(left, right)", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches `*`; numeric operands must be compatible.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "div", "qualified_name": "native.ops.div", "signature": "func div(left, right)", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches `/`; rejects a zero divisor.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "mod", "qualified_name": "native.ops.mod", "signature": "func mod(left, right)", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches `%`; rejects a zero divisor and follows the divisor sign.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "eq", "qualified_name": "native.ops.eq", "signature": "func eq(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches equality, including cross-comparison between Int and Float.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ne", "qualified_name": "native.ops.ne", "signature": "func ne(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches inequality.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "lt", "qualified_name": "native.ops.lt", "signature": "func lt(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches `<` for comparable numeric, string, byte, or char values.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "gt", "qualified_name": "native.ops.gt", "signature": "func gt(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches `>` for comparable numeric, string, byte, or char values.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "le", "qualified_name": "native.ops.le", "signature": "func le(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches `<=` for comparable numeric, string, byte, or char values.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "ge", "qualified_name": "native.ops.ge", "signature": "func ge(left, right): Bool", "params": [ { "name": "left", "type_expr": null, "variadic": false }, { "name": "right", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Dispatches `>=` for comparable numeric, string, byte, or char values.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "neg", "qualified_name": "native.ops.neg", "signature": "func neg(value)", "params": [ { "name": "value", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches unary numeric negation.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "not", "qualified_name": "native.ops.not", "signature": "func not(value)", "params": [ { "name": "value", "type_expr": null, "variadic": false } ], "return_type": null, "doc": "Dispatches unary logical negation.", "span": null, "members": [], "requires_unsafe": false }, { "kind": "native_function", "name": "truth", "qualified_name": "native.ops.truth", "signature": "func truth(value): Bool", "params": [ { "name": "value", "type_expr": null, "variadic": false } ], "return_type": "Bool", "doc": "Returns KataScript truthiness: nil, false, zero numbers, empty strings, and empty tuples/records are false.", "span": null, "members": [], "requires_unsafe": false } ] } ] }