import Wayland.Display

namespace Wayland.Protocols

abbrev RiverWindowManagerV1.name : InterfaceName := "river_window_manager_v1"
abbrev RiverWindowV1.name : InterfaceName := "river_window_v1"
abbrev RiverDecorationV1.name : InterfaceName := "river_decoration_v1"
abbrev RiverShellSurfaceV1.name : InterfaceName := "river_shell_surface_v1"
abbrev RiverNodeV1.name : InterfaceName := "river_node_v1"
abbrev RiverOutputV1.name : InterfaceName := "river_output_v1"
abbrev RiverSeatV1.name : InterfaceName := "river_seat_v1"
abbrev RiverPointerBindingV1.name : InterfaceName := "river_pointer_binding_v1"

abbrev RiverWindowManagerV1 : Type := Object RiverWindowManagerV1.name
abbrev RiverWindowV1 : Type := Object RiverWindowV1.name
abbrev RiverDecorationV1 : Type := Object RiverDecorationV1.name
abbrev RiverShellSurfaceV1 : Type := Object RiverShellSurfaceV1.name
abbrev RiverNodeV1 : Type := Object RiverNodeV1.name
abbrev RiverOutputV1 : Type := Object RiverOutputV1.name
abbrev RiverSeatV1 : Type := Object RiverSeatV1.name
abbrev RiverPointerBindingV1 : Type := Object RiverPointerBindingV1.name

inductive RiverWindowManagerV1.Error where
  | sequenceOrder
  | role
  | unresponsive

inductive RiverWindowV1.Error where
  | nodeExists
  | invalidDimensions
  | invalidBorder
  | invalidClipBox

inductive RiverWindowV1.DecorationHint where
  | onlySupportsCsd
  | prefersCsd
  | prefersSsd
  | noPreference

structure RiverWindowV1.Edges where
  none : Bool := false
  top : Bool := false
  bottom : Bool := false
  left : Bool := false
  right : Bool := false

structure RiverWindowV1.Capabilities where
  windowMenu : Bool := false
  maximize : Bool := false
  fullscreen : Bool := false
  minimize : Bool := false

inductive RiverDecorationV1.Error where
  | noCommit

inductive RiverShellSurfaceV1.Error where
  | nodeExists
  | noCommit

inductive RiverOutputV1.Error where
  | invalidPresentationMode

inductive RiverOutputV1.PresentationMode where
  | vsync
  | async

structure RiverSeatV1.Modifiers where
  none : Bool := false
  shift : Bool := false
  ctrl : Bool := false
  mod1 : Bool := false
  mod3 : Bool := false
  mod4 : Bool := false
  mod5 : Bool := false

namespace RiverWindowManagerV1.Error

instance : Marshallable RiverWindowManagerV1.Error where
  marshal
    | .int,  .sequenceOrder => ArgumentMarshaller.marshalInt 0
    | .uint, .sequenceOrder => ArgumentMarshaller.marshalUInt 0
    | .int,  .role => ArgumentMarshaller.marshalInt 1
    | .uint, .role => ArgumentMarshaller.marshalUInt 1
    | .int,  .unresponsive => ArgumentMarshaller.marshalInt 2
    | .uint, .unresponsive => ArgumentMarshaller.marshalUInt 2
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .sequenceOrder
        | 1 => pure .role
        | 2 => pure .unresponsive
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .sequenceOrder
        | 1 => pure .role
        | 2 => pure .unresponsive
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverWindowManagerV1.Error

namespace RiverWindowV1.Error

instance : Marshallable RiverWindowV1.Error where
  marshal
    | .int,  .nodeExists => ArgumentMarshaller.marshalInt 0
    | .uint, .nodeExists => ArgumentMarshaller.marshalUInt 0
    | .int,  .invalidDimensions => ArgumentMarshaller.marshalInt 1
    | .uint, .invalidDimensions => ArgumentMarshaller.marshalUInt 1
    | .int,  .invalidBorder => ArgumentMarshaller.marshalInt 2
    | .uint, .invalidBorder => ArgumentMarshaller.marshalUInt 2
    | .int,  .invalidClipBox => ArgumentMarshaller.marshalInt 3
    | .uint, .invalidClipBox => ArgumentMarshaller.marshalUInt 3
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .nodeExists
        | 1 => pure .invalidDimensions
        | 2 => pure .invalidBorder
        | 3 => pure .invalidClipBox
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .nodeExists
        | 1 => pure .invalidDimensions
        | 2 => pure .invalidBorder
        | 3 => pure .invalidClipBox
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverWindowV1.Error

namespace RiverWindowV1.DecorationHint

instance : Marshallable RiverWindowV1.DecorationHint where
  marshal
    | .int,  .onlySupportsCsd => ArgumentMarshaller.marshalInt 0
    | .uint, .onlySupportsCsd => ArgumentMarshaller.marshalUInt 0
    | .int,  .prefersCsd => ArgumentMarshaller.marshalInt 1
    | .uint, .prefersCsd => ArgumentMarshaller.marshalUInt 1
    | .int,  .prefersSsd => ArgumentMarshaller.marshalInt 2
    | .uint, .prefersSsd => ArgumentMarshaller.marshalUInt 2
    | .int,  .noPreference => ArgumentMarshaller.marshalInt 3
    | .uint, .noPreference => ArgumentMarshaller.marshalUInt 3
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .onlySupportsCsd
        | 1 => pure .prefersCsd
        | 2 => pure .prefersSsd
        | 3 => pure .noPreference
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .onlySupportsCsd
        | 1 => pure .prefersCsd
        | 2 => pure .prefersSsd
        | 3 => pure .noPreference
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverWindowV1.DecorationHint

namespace RiverWindowV1.Edges

instance : Marshallable RiverWindowV1.Edges where
  marshal
    | .uint, μ => ArgumentMarshaller.marshalUInt <|
        0
        ||| (if μ.none then 0 else 0)
        ||| (if μ.top then 1 else 0)
        ||| (if μ.bottom then 2 else 0)
        ||| (if μ.left then 4 else 0)
        ||| (if μ.right then 8 else 0)
    | _, _ => throw "Marshalling unexpected type, expected uint."
  demarshal
    | .uint => do
        let μ ← ArgumentDemarshaller.demarshalUInt
        return {
          none := (μ &&& 0) == 0
          top := (μ &&& 1) == 1
          bottom := (μ &&& 2) == 2
          left := (μ &&& 4) == 4
          right := (μ &&& 8) == 8
        }
    | _ => throw "Demarshalling unexpected type, expected uint."

end RiverWindowV1.Edges

namespace RiverWindowV1.Capabilities

instance : Marshallable RiverWindowV1.Capabilities where
  marshal
    | .uint, μ => ArgumentMarshaller.marshalUInt <|
        0
        ||| (if μ.windowMenu then 1 else 0)
        ||| (if μ.maximize then 2 else 0)
        ||| (if μ.fullscreen then 4 else 0)
        ||| (if μ.minimize then 8 else 0)
    | _, _ => throw "Marshalling unexpected type, expected uint."
  demarshal
    | .uint => do
        let μ ← ArgumentDemarshaller.demarshalUInt
        return {
          windowMenu := (μ &&& 1) == 1
          maximize := (μ &&& 2) == 2
          fullscreen := (μ &&& 4) == 4
          minimize := (μ &&& 8) == 8
        }
    | _ => throw "Demarshalling unexpected type, expected uint."

end RiverWindowV1.Capabilities

namespace RiverDecorationV1.Error

instance : Marshallable RiverDecorationV1.Error where
  marshal
    | .int,  .noCommit => ArgumentMarshaller.marshalInt 0
    | .uint, .noCommit => ArgumentMarshaller.marshalUInt 0
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .noCommit
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .noCommit
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverDecorationV1.Error

namespace RiverShellSurfaceV1.Error

instance : Marshallable RiverShellSurfaceV1.Error where
  marshal
    | .int,  .nodeExists => ArgumentMarshaller.marshalInt 0
    | .uint, .nodeExists => ArgumentMarshaller.marshalUInt 0
    | .int,  .noCommit => ArgumentMarshaller.marshalInt 1
    | .uint, .noCommit => ArgumentMarshaller.marshalUInt 1
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .nodeExists
        | 1 => pure .noCommit
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .nodeExists
        | 1 => pure .noCommit
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverShellSurfaceV1.Error

namespace RiverOutputV1.Error

instance : Marshallable RiverOutputV1.Error where
  marshal
    | .int,  .invalidPresentationMode => ArgumentMarshaller.marshalInt 0
    | .uint, .invalidPresentationMode => ArgumentMarshaller.marshalUInt 0
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .invalidPresentationMode
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .invalidPresentationMode
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverOutputV1.Error

namespace RiverOutputV1.PresentationMode

instance : Marshallable RiverOutputV1.PresentationMode where
  marshal
    | .int,  .vsync => ArgumentMarshaller.marshalInt 0
    | .uint, .vsync => ArgumentMarshaller.marshalUInt 0
    | .int,  .async => ArgumentMarshaller.marshalInt 1
    | .uint, .async => ArgumentMarshaller.marshalUInt 1
    | _, _ => throw "Marshalling unexpected type, expected int or uint."
  demarshal
    | .int => do
      match (← ArgumentDemarshaller.demarshalInt) with
        | 0 => pure .vsync
        | 1 => pure .async
        | _ => throw "Invalid enum value."
    | .uint => do
      match (← ArgumentDemarshaller.demarshalUInt) with
        | 0 => pure .vsync
        | 1 => pure .async
        | _ => throw "Invalid enum value."
    | _ => throw "Demarshalling unexpected type, expected int or uint."

end RiverOutputV1.PresentationMode

namespace RiverSeatV1.Modifiers

instance : Marshallable RiverSeatV1.Modifiers where
  marshal
    | .uint, μ => ArgumentMarshaller.marshalUInt <|
        0
        ||| (if μ.none then 0 else 0)
        ||| (if μ.shift then 1 else 0)
        ||| (if μ.ctrl then 4 else 0)
        ||| (if μ.mod1 then 8 else 0)
        ||| (if μ.mod3 then 32 else 0)
        ||| (if μ.mod4 then 64 else 0)
        ||| (if μ.mod5 then 128 else 0)
    | _, _ => throw "Marshalling unexpected type, expected uint."
  demarshal
    | .uint => do
        let μ ← ArgumentDemarshaller.demarshalUInt
        return {
          none := (μ &&& 0) == 0
          shift := (μ &&& 1) == 1
          ctrl := (μ &&& 4) == 4
          mod1 := (μ &&& 8) == 8
          mod3 := (μ &&& 32) == 32
          mod4 := (μ &&& 64) == 64
          mod5 := (μ &&& 128) == 128
        }
    | _ => throw "Demarshalling unexpected type, expected uint."

end RiverSeatV1.Modifiers

end Wayland.Protocols