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