diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-06-05 21:05:23 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-06-05 22:29:21 +0200 |
| commit | 648edcd81fc2045cab70ec2b82d81577158d8613 (patch) | |
| tree | f8cb8a0b3d5c0fd13f16e0eb2ffdf2ba4a8f875c /lib/Wayland/Native.lean | |
| parent | 350d3ca21e6a2d215016c84afa07ccb75abd8a6e (diff) | |
first working version
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 7 |
1 files changed, 5 insertions, 2 deletions
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 |