Jacket
Search the docs
/
API
Tools
Playground
main
Io module
← Io
Win32
win_create_port
win_get_completions
win_post_completion
win_cancel_io
win_create_file
win_read_file
win_write_file
win_close_handle
win_file_size
win_last_error
win_utf8_to_wide
win_file_attributes
win_processor_count
win_get_env
win_load_library
win_module_handle
win_proc_address
win_create_event
win_set_event
win_wait_for_one
win_wait_for_many
win_module_file_name
win_sleep
win_wsa_startup
win_wsa_cleanup
win_wsa_error
win_socket
win_close_socket
win_bind
win_listen
win_socket_name
win_peer_name
win_set_socket_option
win_shutdown
win_ioctl
win_receive
win_send
win_get_address_info
win_free_address_info
On this page
See also
std
/
Extensions
/
Io
/
win_file_size
win_file_size
procedure
foreign
extension
experimental
Windows only
Source
win_file_size
:: (handle:
s64
, size: *
s64
) ->
s32
#foreign
Parameters
handle
:
s64
size
:
*
s64
Returns
s32
See also
win_write_file
win_close_handle
win_last_error
win_utf8_to_wide
Jacket
Jacket