1 files changed, 92 insertions, 0 deletions
diff --git a/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
new file mode 100644
index 0000000..7cae24d
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
@@ -0,0 +1,92 @@
+import Wayland.Display
+import Wayland.Protocols.RiverXkbConfigV1.Header
+import Wayland.Protocols.RiverXkbConfigV1.Resolved
+
+namespace Wayland.Protocols
+
+variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
+
+def RiverXkbConfigV1.stop
+    (ω : RiverXkbConfigV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbConfigV1.destroy
+    (ω : RiverXkbConfigV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 1
+
+def RiverXkbConfigV1.createKeymap
+    (ω : RiverXkbConfigV1)
+    (fd : Fd)
+    (format : RiverXkbConfigV1.KeymapFormat)
+    : DisplayM σ RiverXkbKeymapV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .fd fd
+    Marshallable.marshal .uint format
+    return 2
+
+def RiverXkbKeymapV1.destroy
+    (ω : RiverXkbKeymapV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbKeyboardV1.destroy
+    (ω : RiverXkbKeyboardV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbKeyboardV1.setKeymap
+    (ω : RiverXkbKeyboardV1)
+    (keymap : RiverXkbKeymapV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    Marshallable.marshal .object keymap
+    return 1
+
+def RiverXkbKeyboardV1.setLayoutByIndex
+    (ω : RiverXkbKeyboardV1)
+    (index : Int32)
+    : DisplayM σ Unit :=
+  ω.send do
+    Marshallable.marshal .int index
+    return 2
+
+def RiverXkbKeyboardV1.setLayoutByName
+    (ω : RiverXkbKeyboardV1)
+    (name : String)
+    : DisplayM σ Unit :=
+  ω.send do
+    Marshallable.marshal .string name
+    return 3
+
+def RiverXkbKeyboardV1.capslockEnable
+    (ω : RiverXkbKeyboardV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 4
+
+def RiverXkbKeyboardV1.capslockDisable
+    (ω : RiverXkbKeyboardV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 5
+
+def RiverXkbKeyboardV1.numlockEnable
+    (ω : RiverXkbKeyboardV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 6
+
+def RiverXkbKeyboardV1.numlockDisable
+    (ω : RiverXkbKeyboardV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 7
+
+end Wayland.Protocols
+\ No newline at end of file