diff options
| author | Hannes Schulze <contact@haschu.me> | 2026-04-10 17:36:15 +0200 |
|---|---|---|
| committer | Hannes Schulze <contact@haschu.me> | 2026-04-10 17:36:15 +0200 |
| commit | dab858e92dfa5705d1aef7259e03b25747372d95 (patch) | |
| tree | a08fa2d015adda6a718b4abc5ece2648a6247735 /lib/Wayland/Helpers.lean | |
| parent | bfe6c4cee8b5afcd4078af319ab6b96f6695408b (diff) | |
implement registry wrapper
Diffstat (limited to 'lib/Wayland/Helpers.lean')
| -rw-r--r-- | lib/Wayland/Helpers.lean | 6 |
1 files changed, 6 insertions, 0 deletions
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 |