System.FS.IO.Unix

Close handle

This is a no-op when the handle is already closed.

File size of the given file pointer

NOTE: This is not thread safe (changes made to the file in other threads may affect this thread).

Opens a file from disk.

preadBuf fh buf c off reads c bytes into the buffer buf from the file handle fh at the file offset off. This does not move the position of the file handle.

pwriteBuf fh buf c off writes c bytes from the data in the buffer buf to the file handle fh at the file offset off. This does not move the position of the file handle.

Reads a given number of bytes from the input FHandle.

Seek within the file.

The offset may be negative.

We don't return the new offset since the behaviour of lseek is rather odd (e.g., the file pointer may not actually be moved until a subsequent write)

Truncates the file managed by the input FHandle to the input size.

Writes the data pointed by the input 'Ptr Word8' into the input FHandle.