fix build on linux

1 files changed, 244 insertions, 0 deletions

diff --git a/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean
new file mode 100644
index 0000000..12fb676
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean
@@ -0,0 +1,244 @@
+import Wayland.Display
+import Wayland.Protocols.RiverLibinputConfigV1.Header
+import Wayland.Protocols.RiverLibinputConfigV1.Resolved
+
+namespace Wayland.Protocols
+
+variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
+
+def RiverLibinputConfigV1.stop
+    (ω : RiverLibinputConfigV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverLibinputConfigV1.destroy
+    (ω : RiverLibinputConfigV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 1
+
+def RiverLibinputConfigV1.createAccelConfig
+    (ω : RiverLibinputConfigV1)
+    (profile : RiverLibinputDeviceV1.AccelProfile)
+    : DisplayM σ RiverLibinputAccelConfigV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint profile
+    return 2
+
+def RiverLibinputDeviceV1.destroy
+    (ω : RiverLibinputDeviceV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverLibinputDeviceV1.setSendEvents
+    (ω : RiverLibinputDeviceV1)
+    (mode : RiverLibinputDeviceV1.SendEventsModes)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint mode
+    return 1
+
+def RiverLibinputDeviceV1.setTap
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.TapState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 2
+
+def RiverLibinputDeviceV1.setTapButtonMap
+    (ω : RiverLibinputDeviceV1)
+    (buttonMap : RiverLibinputDeviceV1.TapButtonMap)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint buttonMap
+    return 3
+
+def RiverLibinputDeviceV1.setDrag
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.DragState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 4
+
+def RiverLibinputDeviceV1.setDragLock
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.DragLockState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 5
+
+def RiverLibinputDeviceV1.setThreeFingerDrag
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.ThreeFingerDragState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 6
+
+def RiverLibinputDeviceV1.setCalibrationMatrix
+    (ω : RiverLibinputDeviceV1)
+    (matrix : ByteArray)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .array matrix
+    return 7
+
+def RiverLibinputDeviceV1.setAccelProfile
+    (ω : RiverLibinputDeviceV1)
+    (profile : RiverLibinputDeviceV1.AccelProfile)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint profile
+    return 8
+
+def RiverLibinputDeviceV1.setAccelSpeed
+    (ω : RiverLibinputDeviceV1)
+    (speed : ByteArray)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .array speed
+    return 9
+
+def RiverLibinputDeviceV1.applyAccelConfig
+    (ω : RiverLibinputDeviceV1)
+    (config : RiverLibinputAccelConfigV1)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .object config
+    return 10
+
+def RiverLibinputDeviceV1.setNaturalScroll
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.NaturalScrollState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 11
+
+def RiverLibinputDeviceV1.setLeftHanded
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.LeftHandedState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 12
+
+def RiverLibinputDeviceV1.setClickMethod
+    (ω : RiverLibinputDeviceV1)
+    (method : RiverLibinputDeviceV1.ClickMethod)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint method
+    return 13
+
+def RiverLibinputDeviceV1.setClickfingerButtonMap
+    (ω : RiverLibinputDeviceV1)
+    (buttonMap : RiverLibinputDeviceV1.ClickfingerButtonMap)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint buttonMap
+    return 14
+
+def RiverLibinputDeviceV1.setMiddleEmulation
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.MiddleEmulationState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 15
+
+def RiverLibinputDeviceV1.setScrollMethod
+    (ω : RiverLibinputDeviceV1)
+    (method : RiverLibinputDeviceV1.ScrollMethod)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint method
+    return 16
+
+def RiverLibinputDeviceV1.setScrollButton
+    (ω : RiverLibinputDeviceV1)
+    (button : UInt32)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint button
+    return 17
+
+def RiverLibinputDeviceV1.setScrollButtonLock
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.ScrollButtonLockState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 18
+
+def RiverLibinputDeviceV1.setDwt
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.DwtState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 19
+
+def RiverLibinputDeviceV1.setDwtp
+    (ω : RiverLibinputDeviceV1)
+    (state : RiverLibinputDeviceV1.DwtpState)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint state
+    return 20
+
+def RiverLibinputDeviceV1.setRotation
+    (ω : RiverLibinputDeviceV1)
+    (angle : UInt32)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint angle
+    return 21
+
+def RiverLibinputAccelConfigV1.destroy
+    (ω : RiverLibinputAccelConfigV1)
+    : DisplayM σ Unit :=
+  ω.send do
+    return 0
+
+def RiverLibinputAccelConfigV1.setPoints
+    (ω : RiverLibinputAccelConfigV1)
+    (type : RiverLibinputAccelConfigV1.AccelType)
+    (step : ByteArray)
+    (points : ByteArray)
+    : DisplayM σ RiverLibinputResultV1 :=
+  ω.sendConstructor do
+    ArgumentMarshaller.marshalAnyObject .none
+    Marshallable.marshal .uint type
+    Marshallable.marshal .array step
+    Marshallable.marshal .array points
+    return 1
+
+end Wayland.Protocols
\ No newline at end of file