outline proxy api

1 files changed, 22 insertions, 0 deletions

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<type_map*>(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