diff options
Diffstat (limited to 'lib/Wayland/Protocols/RiverLayerShellV1')
| -rw-r--r-- | lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean index 8e7dc9f..6cbdaab 100644 --- a/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean +++ b/lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean @@ -9,14 +9,14 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι] def RiverLayerShellV1.destroy (ω : RiverLayerShellV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverLayerShellV1.getOutput (ω : RiverLayerShellV1) (output : RiverOutputV1) : DisplayM σ RiverLayerShellOutputV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object output return 1 @@ -25,7 +25,7 @@ def RiverLayerShellV1.getSeat (ω : RiverLayerShellV1) (seat : RiverSeatV1) : DisplayM σ RiverLayerShellSeatV1 := - ω.sendConstructor do + ω.sendConstructor false do ArgumentMarshaller.marshalAnyObject .none Marshallable.marshal .object seat return 2 @@ -33,19 +33,19 @@ def RiverLayerShellV1.getSeat def RiverLayerShellOutputV1.destroy (ω : RiverLayerShellOutputV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 def RiverLayerShellOutputV1.setDefault (ω : RiverLayerShellOutputV1) : DisplayM σ Unit := - ω.send do + ω.send false do return 1 def RiverLayerShellSeatV1.destroy (ω : RiverLayerShellSeatV1) : DisplayM σ Unit := - ω.send do + ω.send true do return 0 end Wayland.Protocols
\ No newline at end of file |