From 92da08078a5459ca1089743eb58385e752bdb5fa Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Mon, 6 Apr 2026 07:19:48 +0200
Subject: fix generic new_ids

---
 lib/Wayland/Helpers.lean | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 lib/Wayland/Helpers.lean

(limited to 'lib/Wayland/Helpers.lean')

diff --git a/lib/Wayland/Helpers.lean b/lib/Wayland/Helpers.lean
new file mode 100644
index 0000000..7230fc2
--- /dev/null
+++ b/lib/Wayland/Helpers.lean
@@ -0,0 +1,15 @@
+import Wayland.Display
+import Wayland.Protocols
+
+-- Helpers that depend on the protocols and can thus not be included in `Display.lean`.
+
+namespace Wayland
+
+open Protocols
+
+variable {σ : Type}
+
+/-- Get the `wl_display` instance within the display monad. -/
+def DisplayM.getDisplay : DisplayM σ WlDisplay := getDisplay'
+
+end Wayland
-- 
cgit v1.3.1