diff options
Diffstat (limited to 'lib/Wayland/Protocols/RiverWindowManagementV1')
| -rw-r--r-- | lib/Wayland/Protocols/RiverWindowManagementV1/Requests.lean | 114 |
1 files changed, 57 insertions, 57 deletions
diff --git a/lib/Wayland/Protocols/RiverWindowManagementV1/Requests.lean b/lib/Wayland/Protocols/RiverWindowManagementV1/Requests.lean index ed70fed..4a52ddc 100644 --- a/lib/Wayland/Protocols/RiverWindowManagementV1/Requests.lean +++ b/lib/Wayland/Protocols/RiverWindowManagementV1/Requests.lean @@ -10,38 +10,38 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι] def RiverWindowManagerV1.stop (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 0 def RiverWindowManagerV1.destroy (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 1 def RiverWindowManagerV1.manageFinish (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 2 def RiverWindowManagerV1.manageDirty (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 3 def RiverWindowManagerV1.renderFinish (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 4 def RiverWindowManagerV1.getShellSurface (ω : RiverWindowManagerV1) (surface : WlSurface) : DisplayM σ RiverShellSurfaceV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object surface return 5 @@ -49,25 +49,25 @@ def RiverWindowManagerV1.getShellSurface def RiverWindowManagerV1.exitSession (ω : RiverWindowManagerV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 6 def RiverWindowV1.destroy (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverWindowV1.close (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 1 def RiverWindowV1.getNode (ω : RiverWindowV1) : DisplayM σ RiverNodeV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none return 2 @@ -76,7 +76,7 @@ def RiverWindowV1.proposeDimensions (width : Int32) (height : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int width Marshallable.marshal .int height return 3 @@ -84,25 +84,25 @@ def RiverWindowV1.proposeDimensions def RiverWindowV1.hide (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 4 def RiverWindowV1.show (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 5 def RiverWindowV1.useCsd (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 6 def RiverWindowV1.useSsd (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 7 def RiverWindowV1.setBorders @@ -114,7 +114,7 @@ def RiverWindowV1.setBorders (b : UInt32) (a : UInt32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .uint edges Marshallable.marshal .int width Marshallable.marshal .uint r @@ -127,7 +127,7 @@ def RiverWindowV1.setTiled (ω : RiverWindowV1) (edges : RiverWindowV1.Edges) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .uint edges return 9 @@ -135,7 +135,7 @@ def RiverWindowV1.getDecorationAbove (ω : RiverWindowV1) (surface : WlSurface) : DisplayM σ RiverDecorationV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object surface return 10 @@ -144,7 +144,7 @@ def RiverWindowV1.getDecorationBelow (ω : RiverWindowV1) (surface : WlSurface) : DisplayM σ RiverDecorationV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object surface return 11 @@ -152,59 +152,59 @@ def RiverWindowV1.getDecorationBelow def RiverWindowV1.informResizeStart (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 12 def RiverWindowV1.informResizeEnd (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 13 def RiverWindowV1.setCapabilities (ω : RiverWindowV1) (caps : RiverWindowV1.Capabilities) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .uint caps return 14 def RiverWindowV1.informMaximized (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 15 def RiverWindowV1.informUnmaximized (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 16 def RiverWindowV1.informFullscreen (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 17 def RiverWindowV1.informNotFullscreen (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 18 def RiverWindowV1.fullscreen (ω : RiverWindowV1) (output : RiverOutputV1) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .object output return 19 def RiverWindowV1.exitFullscreen (ω : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 20 def RiverWindowV1.setClipBox @@ -214,7 +214,7 @@ def RiverWindowV1.setClipBox (width : Int32) (height : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int x Marshallable.marshal .int y Marshallable.marshal .int width @@ -228,7 +228,7 @@ def RiverWindowV1.setContentClipBox (width : Int32) (height : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int x Marshallable.marshal .int y Marshallable.marshal .int width @@ -240,7 +240,7 @@ def RiverWindowV1.setDimensionBounds (maxWidth : Int32) (maxHeight : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int maxWidth Marshallable.marshal .int maxHeight return 23 @@ -248,7 +248,7 @@ def RiverWindowV1.setDimensionBounds def RiverDecorationV1.destroy (ω : RiverDecorationV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverDecorationV1.setOffset @@ -256,7 +256,7 @@ def RiverDecorationV1.setOffset (x : Int32) (y : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int x Marshallable.marshal .int y return 1 @@ -264,32 +264,32 @@ def RiverDecorationV1.setOffset def RiverDecorationV1.syncNextCommit (ω : RiverDecorationV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 2 def RiverShellSurfaceV1.destroy (ω : RiverShellSurfaceV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverShellSurfaceV1.getNode (ω : RiverShellSurfaceV1) : DisplayM σ RiverNodeV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none return 1 def RiverShellSurfaceV1.syncNextCommit (ω : RiverShellSurfaceV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 2 def RiverNodeV1.destroy (ω : RiverNodeV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverNodeV1.setPosition @@ -297,7 +297,7 @@ def RiverNodeV1.setPosition (x : Int32) (y : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int x Marshallable.marshal .int y return 1 @@ -305,20 +305,20 @@ def RiverNodeV1.setPosition def RiverNodeV1.placeTop (ω : RiverNodeV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 2 def RiverNodeV1.placeBottom (ω : RiverNodeV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 3 def RiverNodeV1.placeAbove (ω : RiverNodeV1) (other : RiverNodeV1) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .object other return 4 @@ -326,35 +326,35 @@ def RiverNodeV1.placeBelow (ω : RiverNodeV1) (other : RiverNodeV1) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .object other return 5 def RiverOutputV1.destroy (ω : RiverOutputV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverOutputV1.setPresentationMode (ω : RiverOutputV1) (mode : RiverOutputV1.PresentationMode) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .uint mode return 1 def RiverSeatV1.destroy (ω : RiverSeatV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverSeatV1.focusWindow (ω : RiverSeatV1) (window : RiverWindowV1) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .object window return 1 @@ -362,26 +362,26 @@ def RiverSeatV1.focusShellSurface (ω : RiverSeatV1) (shellSurface : RiverShellSurfaceV1) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .object shellSurface return 2 def RiverSeatV1.clearFocus (ω : RiverSeatV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 3 def RiverSeatV1.opStartPointer (ω : RiverSeatV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 4 def RiverSeatV1.opEnd (ω : RiverSeatV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 5 def RiverSeatV1.getPointerBinding @@ -389,7 +389,7 @@ def RiverSeatV1.getPointerBinding (button : UInt32) (modifiers : RiverSeatV1.Modifiers) : DisplayM σ RiverPointerBindingV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .uint button Marshallable.marshal .uint modifiers @@ -400,7 +400,7 @@ def RiverSeatV1.setXcursorTheme (name : String) (size : UInt32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .string name Marshallable.marshal .uint size return 7 @@ -410,7 +410,7 @@ def RiverSeatV1.pointerWarp (x : Int32) (y : Int32) : DisplayM σ Unit := - ω.send do + ω.send false do Marshallable.marshal .int x Marshallable.marshal .int y return 8 @@ -418,19 +418,19 @@ def RiverSeatV1.pointerWarp def RiverPointerBindingV1.destroy (ω : RiverPointerBindingV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverPointerBindingV1.enable (ω : RiverPointerBindingV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 1 def RiverPointerBindingV1.disable (ω : RiverPointerBindingV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 2 end Wayland.Protocols
\ No newline at end of file |