From 648edcd81fc2045cab70ec2b82d81577158d8613 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Fri, 5 Jun 2026 21:05:23 +0200 Subject: first working version --- lib/Wayland/Protocols/RiverLayerShellV1/Requests.lean | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'lib/Wayland/Protocols/RiverLayerShellV1') 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 -- cgit v1.3.1