From 648edcd81fc2045cab70ec2b82d81577158d8613 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 5 Jun 2026 21:05:23 +0200 Subject: first working version --- lib/Wayland/Native.lean | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'lib/Wayland/Native.lean') diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index 72b0cf2..9158e6d 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -128,10 +128,10 @@ opaque ArgumentBuffer.readFd : (reader : @& ArgumentBuffer) → IO Int32 opaque Proxy.fromDisplay : (display : Display) → IO Proxy @[extern "waylean_proxy_send"] -opaque Proxy.send : (proxy : @& Proxy) → (opcode : UInt32) → (argumentBuffer : @& ArgumentBuffer) → IO Unit +opaque Proxy.send : (proxy : @& Proxy) → (opcode : UInt32) → (argumentBuffer : @& ArgumentBuffer) → (destroy : UInt32) → IO Unit @[extern "waylean_proxy_send_constructor"] -opaque Proxy.sendConstructor : (proxy : @& Proxy) → (opcode : UInt32) → (argumentBuffer : @& ArgumentBuffer) → (typeMap : @& TypeMap) → (ifaceName : @& String) → IO Proxy +opaque Proxy.sendConstructor : (proxy : @& Proxy) → (opcode : UInt32) → (argumentBuffer : @& ArgumentBuffer) → (destroy : UInt32) → (typeMap : @& TypeMap) → (ifaceName : @& String) → IO Proxy @[extern "waylean_proxy_listen"] opaque Proxy.listen : (proxy : @& Proxy) → (handler : UInt32 → ArgumentBuffer → EventLoop M × M) → IO Unit @@ -145,4 +145,7 @@ opaque Proxy.getType : (proxy : @& Proxy) → IO String @[extern "waylean_proxy_get_id"] opaque Proxy.getID : (x : @& Proxy) → IO UInt64 +@[extern "waylean_proxy_get_stable_id"] +opaque Proxy.getStableID : (x : @& Proxy) → IO UInt64 + end Wayland.Native -- cgit v1.3.1