From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Thu, 9 Apr 2026 23:07:23 +0200
Subject: fix build on linux

---
 .../Protocols/RiverLayerShellV1/Requests.lean      | 51 ++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean

(limited to 'lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean')

diff --git a/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean
new file mode 100644
index 0000000..8e7dc9f
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean
@@ -0,0 +1,51 @@
+import Wayland.Display
+import Wayland.Protocols.RiverLayerShellV1.Resolved
+import Wayland.Protocols.RiverWindowManagementV1.Header
+
+namespace Wayland.Protocols
+
+variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
+
+def RiverLayerShellV1.destroy
+    (ω : RiverLayerShellV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverLayerShellV1.getOutput
+    (ω : RiverLayerShellV1)
+    (output : RiverOutputV1)
+    : DisplayM σ RiverLayerShellOutputV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .object output
+    return 1
+
+def RiverLayerShellV1.getSeat
+    (ω : RiverLayerShellV1)
+    (seat : RiverSeatV1)
+    : DisplayM σ RiverLayerShellSeatV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .object seat
+    return 2
+
+def RiverLayerShellOutputV1.destroy
+    (ω : RiverLayerShellOutputV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverLayerShellOutputV1.setDefault
+    (ω : RiverLayerShellOutputV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 1
+
+def RiverLayerShellSeatV1.destroy
+    (ω : RiverLayerShellSeatV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+end Wayland.Protocols
\ No newline at end of file
-- 
cgit v1.3.1