From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Thu, 9 Apr 2026 23:07:23 +0200 Subject: fix build on linux --- .../Protocols/RiverLibinputConfigV1/Requests.lean | 244 +++++++++++++++++++++ 1 file changed, 244 insertions(+) create mode 100644 lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean (limited to 'lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean') 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 -- cgit v1.3.1