diff options
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 |