1 files changed, 81 insertions, 0 deletions
diff --git a/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
new file mode 100644
index 0000000..691e32e
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverXkbBindingsV1/Requests.lean
@@ -0,0 +1,81 @@
+import Wayland.Display
+import Wayland.Protocols.RiverWindowManagementV1.Header
+import Wayland.Protocols.RiverXkbBindingsV1.Resolved
+
+namespace Wayland.Protocols
+
+variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
+
+def RiverXkbBindingsV1.destroy
+    (ω : RiverXkbBindingsV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbBindingsV1.getXkbBinding
+    (ω : RiverXkbBindingsV1)
+    (seat : RiverSeatV1)
+    (keysym : UInt32)
+    (modifiers : RiverSeatV1.Modifiers)
+    : DisplayM σ RiverXkbBindingV1 :=
+  ω.sendConstructor do
+    Marshallable.marshal .object seat
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint keysym
+    Marshallable.marshal .uint modifiers
+    return 1
+
+def RiverXkbBindingsV1.getSeat
+    (ω : RiverXkbBindingsV1)
+    (seat : RiverSeatV1)
+    : DisplayM σ RiverXkbBindingsSeatV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .object seat
+    return 2
+
+def RiverXkbBindingV1.destroy
+    (ω : RiverXkbBindingV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbBindingV1.setLayoutOverride
+    (ω : RiverXkbBindingV1)
+    (layout : UInt32)
+    : DisplayM σ Unit :=
+  ω.send do
+    Marshallable.marshal .uint layout
+    return 1
+
+def RiverXkbBindingV1.enable
+    (ω : RiverXkbBindingV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 2
+
+def RiverXkbBindingV1.disable
+    (ω : RiverXkbBindingV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 3
+
+def RiverXkbBindingsSeatV1.destroy
+    (ω : RiverXkbBindingsSeatV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverXkbBindingsSeatV1.ensureNextKeyEaten
+    (ω : RiverXkbBindingsSeatV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 1
+
+def RiverXkbBindingsSeatV1.cancelEnsureNextKeyEaten
+    (ω : RiverXkbBindingsSeatV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 2
+
+end Wayland.Protocols
+\ No newline at end of file