From 1cb22cd29de924345cca651d0442b1fc56cf86db Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Mon, 16 Mar 2026 14:20:55 +0100 Subject: wip request/event (de-)marshalling --- lib/Wayland/Native.lean | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'lib/Wayland/Native.lean') diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index 9eb8398..0e8c079 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -86,7 +86,7 @@ opaque ArgumentBuffer.writeInt : (writer : @& ArgumentBuffer) → (value : Int32 opaque ArgumentBuffer.writeUInt : (writer : @& ArgumentBuffer) → (value : UInt32) → IO Unit @[extern "waylean_argument_buffer_write_fixed"] -opaque ArgumentBuffer.writeFloat : (writer : @& ArgumentBuffer) → (value : Float) → IO Unit +opaque ArgumentBuffer.writeFixed : (writer : @& ArgumentBuffer) → (value : Float32) → IO Unit @[extern "waylean_argument_buffer_write_string"] opaque ArgumentBuffer.writeString : (writer : @& ArgumentBuffer) → (value : @& Option String) → IO Unit @@ -107,10 +107,10 @@ opaque ArgumentBuffer.writeFD : (writer : @& ArgumentBuffer) → (value : Int32) opaque ArgumentBuffer.readInt : (reader : @& ArgumentBuffer) → IO Int32 @[extern "waylean_argument_buffer_read_uint"] -opaque ArgumentBuffer.readUInt : (reader : @& ArgumentBuffer) → IO Int32 +opaque ArgumentBuffer.readUInt : (reader : @& ArgumentBuffer) → IO UInt32 @[extern "waylean_argument_buffer_read_fixed"] -opaque ArgumentBuffer.readFixed : (reader : @& ArgumentBuffer) → IO Float +opaque ArgumentBuffer.readFixed : (reader : @& ArgumentBuffer) → IO Float32 @[extern "waylean_argument_buffer_read_string"] opaque ArgumentBuffer.readString : (reader : @& ArgumentBuffer) → IO (Option String) -- cgit v1.3.1