From 0b7ad07db1be69f75ca9b469fd6210c64ba87dd5 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 13 Mar 2026 20:49:22 +0100 Subject: outline proxy api --- lib/CWayland/CWayland.cc | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'lib/CWayland/CWayland.cc') diff --git a/lib/CWayland/CWayland.cc b/lib/CWayland/CWayland.cc index 57da46a..cf1687a 100644 --- a/lib/CWayland/CWayland.cc +++ b/lib/CWayland/CWayland.cc @@ -808,4 +808,26 @@ lean_obj_res waylean_type_map_register(b_lean_obj_arg map_obj, b_lean_obj_arg if auto map = static_cast(lean_get_external_data(map_obj)); map->register_iface(iface_desc); return lean_io_result_mk_ok(lean_box(0)); +} + +// -- Proxy + +// Proxy.fromDisplay : (display : @& Display) → IO Proxy +lean_obj_res waylean_proxy_from_display(b_lean_obj_arg display) +{ +} + +// Proxy.new : (factory : @& Proxy) → (typeMap : @& TypeMap) → (ifaceName : @& String) → IO Proxy +lean_obj_res waylean_proxy_new(b_lean_obj_arg factory, b_lean_obj_arg type_map, b_lean_obj_arg iface_name) +{ +} + +// Proxy.send : (proxy : @& Proxy) → (opcode : UInt32) → (argumentWriter : @& ArgumentWriter) → IO Unit +lean_obj_res waylean_proxy_send(b_lean_obj_arg proxy, uint32_t opcode, b_lean_obj_arg argument_writer) +{ +} + +// Proxy.listen : (proxy : @& Proxy) → (handler : @& UInt32 → ArgumentReader → EventLoop M × M) → IO Unit +lean_obj_res waylean_proxy_listen(b_lean_obj_arg proxy, b_lean_obj_arg handler) +{ } \ No newline at end of file -- cgit v1.3.1