diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-03-16 14:20:55 +0100 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-03-16 14:20:55 +0100 |
| commit | 1cb22cd29de924345cca651d0442b1fc56cf86db (patch) | |
| tree | 39b33264d63789044c9deba7b00dc26c4354734c /lib/Wayland/Native.lean | |
| parent | fd1bef3ced74a5c24b68598300efaa2bf13f337f (diff) | |
wip request/event (de-)marshalling
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 6 |
1 files changed, 3 insertions, 3 deletions
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) |