diff options
Diffstat (limited to 'lib/Wayland/Protocols/RiverLibinputConfigV1')
| -rw-r--r-- | lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean | 54 |
1 files changed, 27 insertions, 27 deletions
diff --git a/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean index 12fb676..3c8e486 100644 --- a/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean +++ b/lib/Wayland/Protocols/RiverLibinputConfigV1/Requests.lean @@ -9,20 +9,20 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι] def RiverLibinputConfigV1.stop (ω : RiverLibinputConfigV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 0 def RiverLibinputConfigV1.destroy (ω : RiverLibinputConfigV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 1 def RiverLibinputConfigV1.createAccelConfig (ω : RiverLibinputConfigV1) (profile : RiverLibinputDeviceV1.AccelProfile) : DisplayM σ RiverLibinputAccelConfigV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint profile return 2 @@ -30,14 +30,14 @@ def RiverLibinputConfigV1.createAccelConfig def RiverLibinputDeviceV1.destroy (ω : RiverLibinputDeviceV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverLibinputDeviceV1.setSendEvents (ω : RiverLibinputDeviceV1) (mode : RiverLibinputDeviceV1.SendEventsModes) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint mode return 1 @@ -46,7 +46,7 @@ def RiverLibinputDeviceV1.setTap (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.TapState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 2 @@ -55,7 +55,7 @@ def RiverLibinputDeviceV1.setTapButtonMap (ω : RiverLibinputDeviceV1) (buttonMap : RiverLibinputDeviceV1.TapButtonMap) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint buttonMap return 3 @@ -64,7 +64,7 @@ def RiverLibinputDeviceV1.setDrag (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.DragState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 4 @@ -73,7 +73,7 @@ def RiverLibinputDeviceV1.setDragLock (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.DragLockState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 5 @@ -82,7 +82,7 @@ def RiverLibinputDeviceV1.setThreeFingerDrag (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.ThreeFingerDragState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 6 @@ -91,7 +91,7 @@ def RiverLibinputDeviceV1.setCalibrationMatrix (ω : RiverLibinputDeviceV1) (matrix : ByteArray) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .array matrix return 7 @@ -100,7 +100,7 @@ def RiverLibinputDeviceV1.setAccelProfile (ω : RiverLibinputDeviceV1) (profile : RiverLibinputDeviceV1.AccelProfile) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint profile return 8 @@ -109,7 +109,7 @@ def RiverLibinputDeviceV1.setAccelSpeed (ω : RiverLibinputDeviceV1) (speed : ByteArray) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .array speed return 9 @@ -118,7 +118,7 @@ def RiverLibinputDeviceV1.applyAccelConfig (ω : RiverLibinputDeviceV1) (config : RiverLibinputAccelConfigV1) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object config return 10 @@ -127,7 +127,7 @@ def RiverLibinputDeviceV1.setNaturalScroll (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.NaturalScrollState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 11 @@ -136,7 +136,7 @@ def RiverLibinputDeviceV1.setLeftHanded (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.LeftHandedState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 12 @@ -145,7 +145,7 @@ def RiverLibinputDeviceV1.setClickMethod (ω : RiverLibinputDeviceV1) (method : RiverLibinputDeviceV1.ClickMethod) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint method return 13 @@ -154,7 +154,7 @@ def RiverLibinputDeviceV1.setClickfingerButtonMap (ω : RiverLibinputDeviceV1) (buttonMap : RiverLibinputDeviceV1.ClickfingerButtonMap) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint buttonMap return 14 @@ -163,7 +163,7 @@ def RiverLibinputDeviceV1.setMiddleEmulation (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.MiddleEmulationState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 15 @@ -172,7 +172,7 @@ def RiverLibinputDeviceV1.setScrollMethod (ω : RiverLibinputDeviceV1) (method : RiverLibinputDeviceV1.ScrollMethod) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint method return 16 @@ -181,7 +181,7 @@ def RiverLibinputDeviceV1.setScrollButton (ω : RiverLibinputDeviceV1) (button : UInt32) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint button return 17 @@ -190,7 +190,7 @@ def RiverLibinputDeviceV1.setScrollButtonLock (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.ScrollButtonLockState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 18 @@ -199,7 +199,7 @@ def RiverLibinputDeviceV1.setDwt (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.DwtState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 19 @@ -208,7 +208,7 @@ def RiverLibinputDeviceV1.setDwtp (ω : RiverLibinputDeviceV1) (state : RiverLibinputDeviceV1.DwtpState) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint state return 20 @@ -217,7 +217,7 @@ def RiverLibinputDeviceV1.setRotation (ω : RiverLibinputDeviceV1) (angle : UInt32) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint angle return 21 @@ -225,7 +225,7 @@ def RiverLibinputDeviceV1.setRotation def RiverLibinputAccelConfigV1.destroy (ω : RiverLibinputAccelConfigV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverLibinputAccelConfigV1.setPoints @@ -234,7 +234,7 @@ def RiverLibinputAccelConfigV1.setPoints (step : ByteArray) (points : ByteArray) : DisplayM σ RiverLibinputResultV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint type Marshallable.marshal .array step |