diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 17:05:04 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-05 17:05:04 +0200 |
| commit | 578b90344c4e9be44955d4c4779f452c0b8dc036 (patch) | |
| tree | 891eea4a353ca6a3e2007092a5a3021f553e5c76 /lib/Wayland/Native.lean | |
| parent | d47eacf3939411aff7ca0badbed1d1f2f5494969 (diff) | |
basic argument (de-)marshalling
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index 25884ed..b4e9e95 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -101,7 +101,7 @@ opaque ArgumentBuffer.writeObject : (writer : @& ArgumentBuffer) → (value : @& opaque ArgumentBuffer.writeArray : (writer : @& ArgumentBuffer) → (value : @& ByteArray) → IO Unit @[extern "waylean_argument_buffer_write_fd"] -opaque ArgumentBuffer.writeFD : (writer : @& ArgumentBuffer) → (value : Int32) → IO Unit +opaque ArgumentBuffer.writeFd : (writer : @& ArgumentBuffer) → (value : Int32) → IO Unit @[extern "waylean_argument_buffer_read_int"] opaque ArgumentBuffer.readInt : (reader : @& ArgumentBuffer) → IO Int32 @@ -122,7 +122,7 @@ opaque ArgumentBuffer.readObject : (reader : @& ArgumentBuffer) → IO (Option P opaque ArgumentBuffer.readArray : (reader : @& ArgumentBuffer) → IO ByteArray @[extern "waylean_argument_buffer_read_fd"] -opaque ArgumentBuffer.readFD : (reader : @& ArgumentBuffer) → IO Int32 +opaque ArgumentBuffer.readFd : (reader : @& ArgumentBuffer) → IO Int32 @[extern "waylean_proxy_from_display"] opaque Proxy.fromDisplay : (display : Display) → IO Proxy |