import Wayland.Display
import Wayland.Protocols.RiverXkbConfigV1.Header
import Wayland.Protocols.RiverXkbConfigV1.Resolved

namespace Wayland.Protocols

variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]

def RiverXkbConfigV1.stop
    (ω : RiverXkbConfigV1)
    : DisplayM σ Unit :=
  ω.send false do
    return 0

def RiverXkbConfigV1.destroy
    (ω : RiverXkbConfigV1)
    : DisplayM σ Unit :=
  ω.send true do
    return 1

def RiverXkbConfigV1.createKeymap
    (ω : RiverXkbConfigV1)
    (fd : Fd)
    (format : RiverXkbConfigV1.KeymapFormat)
    : DisplayM σ RiverXkbKeymapV1 :=
  ω.sendConstructor false do
    ArgumentMarshaller.marshalAnyObject .none
    Marshallable.marshal .fd fd
    Marshallable.marshal .uint format
    return 2

def RiverXkbKeymapV1.destroy
    (ω : RiverXkbKeymapV1)
    : DisplayM σ Unit :=
  ω.send true do
    return 0

def RiverXkbKeyboardV1.destroy
    (ω : RiverXkbKeyboardV1)
    : DisplayM σ Unit :=
  ω.send true do
    return 0

def RiverXkbKeyboardV1.setKeymap
    (ω : RiverXkbKeyboardV1)
    (keymap : RiverXkbKeymapV1)
    : DisplayM σ Unit :=
  ω.send false do
    Marshallable.marshal .object keymap
    return 1

def RiverXkbKeyboardV1.setLayoutByIndex
    (ω : RiverXkbKeyboardV1)
    (index : Int32)
    : DisplayM σ Unit :=
  ω.send false do
    Marshallable.marshal .int index
    return 2

def RiverXkbKeyboardV1.setLayoutByName
    (ω : RiverXkbKeyboardV1)
    (name : String)
    : DisplayM σ Unit :=
  ω.send false do
    Marshallable.marshal .string name
    return 3

def RiverXkbKeyboardV1.capslockEnable
    (ω : RiverXkbKeyboardV1)
    : DisplayM σ Unit :=
  ω.send false do
    return 4

def RiverXkbKeyboardV1.capslockDisable
    (ω : RiverXkbKeyboardV1)
    : DisplayM σ Unit :=
  ω.send false do
    return 5

def RiverXkbKeyboardV1.numlockEnable
    (ω : RiverXkbKeyboardV1)
    : DisplayM σ Unit :=
  ω.send false do
    return 6

def RiverXkbKeyboardV1.numlockDisable
    (ω : RiverXkbKeyboardV1)
    : DisplayM σ Unit :=
  ω.send false do
    return 7

end Wayland.Protocols