diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-11 19:43:29 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-11 19:43:29 +0200 |
| commit | 3d722b15a21977931a0bfa99bd8c6a235682a6d9 (patch) | |
| tree | bf7343024e1cf0d80b1b7bd1de964e97fa9c86d7 /lib/Wayland/Native.lean | |
| parent | dab858e92dfa5705d1aef7259e03b25747372d95 (diff) | |
start implementing wm
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index b4e9e95..601c709 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -142,4 +142,10 @@ opaque Proxy.keep : (proxy : @& Proxy) → IO Unit @[extern "waylean_proxy_get_type"] opaque Proxy.getType : (proxy : @& Proxy) → IO String +@[extern "waylean_proxy_is_equal"] +opaque Proxy.isEqual : (x y : @& Proxy) → Bool + +@[extern "waylean_proxy_hash"] +opaque Proxy.hash : (x : @& Proxy) → UInt64 + end Wayland.Native |