From dab858e92dfa5705d1aef7259e03b25747372d95 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Fri, 10 Apr 2026 17:36:15 +0200
Subject: implement registry wrapper

---
 lib/Wayland/Helpers.lean | 6 ++++++
 1 file changed, 6 insertions(+)

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

diff --git a/lib/Wayland/Helpers.lean b/lib/Wayland/Helpers.lean
index 7230fc2..71d02d5 100644
--- a/lib/Wayland/Helpers.lean
+++ b/lib/Wayland/Helpers.lean
@@ -12,4 +12,10 @@ variable {σ : Type}
 /-- Get the `wl_display` instance within the display monad. -/
 def DisplayM.getDisplay : DisplayM σ WlDisplay := getDisplay'
 
+def DisplayM.sync (done : DisplayM σ Unit) : DisplayM σ Unit := do
+  (← getDisplay).sync done
+
+def DisplayM.getRegistry : DisplayM σ WlRegistry := do
+  (← getDisplay).getRegistry
+
 end Wayland
-- 
cgit v1.3.1