HAXY

▄▀▄ ▄▀▀▀▀▄ ▀ ▄▄▀▀▀▀▀▀▄ ▀ ▀ ▀▀▀▀▀▀▀▄▀▄ ▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▄ ▀▀▄ ▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄ ▀▀▀ ▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄ ▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▀▀▀▀▀▀▀▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▄▄▄▄▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▄▀▀ ▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▄▀▀ ▀▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀ ▄▀▀▀▀▀▀▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▄ ▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▄▀▄ ▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀ ▄▄▄▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▄▀▀▀▀▄

╭ main_wasm.zig ────────────────────────────────────────────────╮ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ │ ╰───────────────────────────────────────────────────────────────╯

╭────╮ ╭ clone ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╮ │http│ ssh │ │ ╰────╯ ╰ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ─ ╯

.. embed/ event/ test/ ui/ command.zig diff3.zig event.zig lib.zig main.zig ╭─────────────────────────────────╮ │main_wasm.zig │ ╰─────────────────────────────────╯ serve.zig serve_common.zig serve_http.zig serve_ssh.zig serve_ssh_protocol.zig test.zig testnet.zig try.zig ui.zig web.zig

1 const std = @import("std"); 2 const ui = @import("./ui.zig"); 3 const web = @import("./web.zig"); 4 const xit = @import("xit"); 5 const xitui = xit.xitui; 6 const Key = xitui.input.Key; 7 const wgt = xitui.widget; 8 9 const allocator = std.heap.wasm_allocator; 10 11 var root: ?ui.Widget = null; 12 var page_arena = std.heap.ArenaAllocator.init(allocator); 13 var snapshot: ui.Snapshot = undefined; 14 var session: ui.Session = undefined; 15 var last_pushed_page_maybe: ?ui.RoutablePage = null; // last current_page we told JS about 16 var last_scrolled_focus_id: ?usize = null; // last focused widget we asked JS to scroll into view 17 18 fn init(json: []const u8, min_height: u32, max_width: u32) !void { 19 _ = page_arena.reset(.free_all); 20 // drop the last-pushed page so the next tick pushes the freshly-loaded 21 // page's url. 22 last_pushed_page_maybe = null; 23 24 // alloc_always so the parsed strings live entirely inside the arena 25 // and don't borrow from the caller's json buffer. 26 snapshot = try std.json.parseFromSliceLeaky(ui.Snapshot, page_arena.allocator(), json, .{ 27 .allocate = .alloc_always, 28 }); 29 30 // adopt the server's session view wholesale — one assignment instead of 31 // hand-restoring each field by reaching into the page's data tree. 32 session = .{ 33 .data = snapshot.session, 34 .arena = &page_arena, 35 // one render per page load (init resets the arena), so page-scoped and 36 // session-scoped allocations share the same arena here. 37 .page_arena = &page_arena, 38 }; 39 40 var next_root = try ui.initRoot(allocator, &snapshot.page, &session); 41 errdefer next_root.deinit(allocator); 42 43 if (root) |*old_root| old_root.deinit(allocator); 44 root = next_root; 45 46 try tick(min_height, max_width); 47 } 48 49 fn tick(min_height: u32, max_width: u32) !void { 50 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 51 52 // apply actions queued during input. the wasm path has no repo, so this is 53 // in-memory only; logged-in web persistence goes through the /ansi POST. 54 session.applyPending(); 55 // bind the UI to the browser viewport (cols x rows) like the terminal: 56 // min == max height fills it exactly, and each Scroll clips to its 57 // viewport while handing its full content to a native-scrollable element. 58 // a full-height page instead grows to its content and the browser scrolls 59 // the whole page, which the overlay's absolute positions track. 60 const max_height: ?u32 = if (session.data.current_page.fullHeight()) null else min_height; 61 try root_ptr.build(allocator, .{ 62 .min_size = .{ .width = null, .height = min_height }, 63 .max_size = .{ .width = max_width, .height = max_height }, 64 }, root_ptr.getFocus()); 65 66 // mirror the page Header settled on into the browser URL. these are 67 // passive same-page changes, like moving down the commits list, so we 68 // replace the URL in place rather than pushing a history entry. real 69 // cross-page navigations go through _navigate. 70 const current_page = session.data.current_page; 71 const should_push = if (last_pushed_page_maybe) |lp| !lp.eql(current_page) else true; 72 if (should_push) { 73 last_pushed_page_maybe = current_page; 74 const url = try current_page.toUrl(&page_arena); 75 _replaceState(url.ptr, @intCast(url.len)); 76 } 77 78 const html = try web.generateHtml(allocator, root_ptr); 79 defer allocator.free(html); 80 _setHtml(html.ptr, @intCast(html.len)); 81 82 // emit the overlay (form + inputs + button) on every tick so the wasm 83 // layout drives positions, not just the server's initial render. JS 84 // diffs the result against the previous overlay; an unchanged overlay 85 // leaves the live <form> alone — crucial since wiping it mid-click 86 // would detach the submit button before the browser can dispatch the 87 // form submission. 88 const overlay = try web.generateOverlay(allocator, root_ptr, &session); 89 defer allocator.free(overlay); 90 _setOverlay(overlay.ptr, @intCast(overlay.len)); 91 92 const root_focus = root_ptr.getFocus(); 93 if (root_focus.grandchild_id) |gid| { 94 if (root_focus.children.get(gid)) |child| { 95 // browser-focus the focused overlay control (text input or submit button) 96 // so the browser handles typing and Enter-to-submit natively. without this 97 // the submit button never gets focus and Enter falls through to the wasm. 98 switch (child.focus.kind) { 99 .text_input, .text_input_password, .text_area => _focusInput(@intCast(gid)), 100 .custom => |custom| if (std.mem.eql(u8, custom, "submit")) _focusInput(@intCast(gid)), 101 else => {}, 102 } 103 104 // keep the focused widget visible within its own scrollable element. 105 // only fire on an actual focus change so we don't fight the user's 106 // manual scrolling on unrelated ticks. 107 if (gid != last_scrolled_focus_id) { 108 last_scrolled_focus_id = gid; 109 _scrollToFocus(@intCast(gid)); 110 } 111 } 112 } 113 } 114 115 fn onKeyDown(key_code: u32) !void { 116 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 117 const key: Key = switch (key_code) { 118 13 => .enter, 119 33 => .page_up, 120 34 => .page_down, 121 35 => .end, 122 36 => .home, 123 37 => .arrow_left, 124 38 => .arrow_up, 125 39 => .arrow_right, 126 40 => .arrow_down, 127 else => return, 128 }; 129 130 if (key == .enter) { 131 if (root_ptr.getFocus().grandchild_id) |gid| { 132 // follow a cross-page link 133 if (ui.crossPageLink(root_ptr.getFocus(), gid, session.data)) |route| { 134 const url = try route.toUrl(&page_arena); 135 _navigate(url.ptr, @intCast(url.len)); 136 return; 137 } 138 } 139 } 140 141 try root_ptr.input(allocator, key, root_ptr.getFocus()); 142 } 143 144 fn onMouseClick(focus_id: usize) !void { 145 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 146 // follow a cross-page link 147 if (ui.crossPageLink(root_ptr.getFocus(), focus_id, session.data)) |route| { 148 const url = try route.toUrl(&page_arena); 149 _navigate(url.ptr, @intCast(url.len)); 150 return; 151 } 152 root_ptr.getFocus().setFocus(focus_id); 153 } 154 155 fn setFocus(focus_id: usize) !void { 156 const root_ptr = if (root) |*root_value| root_value else return error.NotStarted; 157 root_ptr.getFocus().setFocus(focus_id); 158 } 159 160 fn consoleLog(arg: []const u8) void { 161 _consoleLog(arg.ptr, @intCast(arg.len)); 162 } 163 164 extern fn _consoleLog(arg: [*]const u8, len: u32) void; 165 extern fn _setHtml(arg: [*]const u8, len: u32) void; 166 extern fn _setOverlay(arg: [*]const u8, len: u32) void; 167 extern fn _replaceState(arg: [*]const u8, len: u32) void; 168 extern fn _focusInput(focus_id: u32) void; 169 extern fn _navigate(arg: [*]const u8, len: u32) void; 170 extern fn _scrollToFocus(focus_id: u32) void; 171 /// js calls this first to get a wasm pointer it can write the page json into. 172 export fn _alloc(len: u32) ?[*]u8 { 173 const slice = allocator.alloc(u8, len) catch return null; 174 return slice.ptr; 175 } 176 177 export fn _init(json_ptr: [*]u8, json_len: u32, min_height: u32, max_width: u32) void { 178 const json = json_ptr[0..json_len]; 179 defer allocator.free(json); 180 init(json, min_height, max_width) catch |err| { 181 var buf: [256]u8 = undefined; 182 const str = std.fmt.bufPrint(&buf, "init: {}", .{err}) catch unreachable; 183 consoleLog(str); 184 }; 185 } 186 187 export fn _tick(min_height: u32, max_width: u32) bool { 188 tick(min_height, max_width) catch |err| { 189 var buf: [256]u8 = undefined; 190 const str = std.fmt.bufPrint(&buf, "tick: {}", .{err}) catch unreachable; 191 consoleLog(str); 192 return false; 193 }; 194 return true; 195 } 196 197 export fn _onKeyDown(key_code: u32) void { 198 onKeyDown(key_code) catch |err| { 199 var buf: [256]u8 = undefined; 200 const str = std.fmt.bufPrint(&buf, "onKeyDown: {}", .{err}) catch unreachable; 201 consoleLog(str); 202 }; 203 } 204 205 export fn _onMouseClick(focus_id: u32) void { 206 onMouseClick(focus_id) catch |err| { 207 var buf: [256]u8 = undefined; 208 const str = std.fmt.bufPrint(&buf, "onMouseClick: {}", .{err}) catch unreachable; 209 consoleLog(str); 210 }; 211 } 212 213 export fn _setFocus(focus_id: u32) void { 214 setFocus(focus_id) catch |err| { 215 var buf: [256]u8 = undefined; 216 const str = std.fmt.bufPrint(&buf, "setFocus: {}", .{err}) catch unreachable; 217 consoleLog(str); 218 }; 219 } 220 221 // js calls this when the value of an overlay <input> changes; we replace 222 // the matching TextInput's content with the supplied utf-8 bytes. 223 export fn _setTextInputValue(focus_id: u32, value_ptr: [*]const u8, value_len: u32) void { 224 setTextInputValue(focus_id, value_ptr[0..value_len]) catch |err| { 225 var buf: [256]u8 = undefined; 226 const str = std.fmt.bufPrint(&buf, "setTextInputValue: {}", .{err}) catch unreachable; 227 consoleLog(str); 228 }; 229 } 230 231 fn setTextInputValue(focus_id: u32, bytes: []const u8) !void { 232 const root_ptr = if (root) |*r| r else return error.NotStarted; 233 const root_focus = root_ptr.getFocus(); 234 const child = root_focus.children.get(focus_id) orelse return error.UnknownFocusId; 235 switch (child.focus.kind) { 236 .text_input, .text_input_password, .text_area => {}, 237 else => return error.NotATextInput, 238 } 239 const ti = session.text_inputs.get(focus_id) orelse return error.UnknownFocusId; 240 try ti.setContent(allocator, bytes); 241 // mirror the TTY behavior in Login.View.input: editing an input clears 242 // the stale failure flag so the "(invalid)" label doesn't linger after 243 // the user has typed a correction 244 session.data.login_failure = null; 245 } 246