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