From ac696809b0c62f7f062a0dc155a4bf4a995cc9cf Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Tue, 3 Mar 2026 16:43:56 +0100
Subject: display connect/disconnect

---
 lib/Wayland/Native.lean | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'lib/Wayland')

diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean
index ded2e3a..c529b63 100644
--- a/lib/Wayland/Native.lean
+++ b/lib/Wayland/Native.lean
@@ -1,2 +1,9 @@
-@[extern "lean_test_answer"]
-opaque testAnswer : IO Int
+private opaque DisplayP : NonemptyType
+def Display : Type := DisplayP.type
+instance : Nonempty Display := DisplayP.property
+
+@[extern "waylean_display_new"]
+opaque Display.new : (name : @& Option String) → IO Display
+
+@[extern "waylean_display_get_version"]
+opaque Display.getVersion : (display : @& Display) → IO UInt32
-- 
cgit v1.3.1