diff options
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 |