package eio

Traditional Unix permissions.

Portable file stats.

A file opened for reading.

A file opened for reading and writing.

stat t returns the Stat.t record associated with t.

size t returns the size of t.

pread t ~file_offset bufs performs a single read of t at file_offset into bufs.

It returns the number of bytes read, which may be less than the space in bufs, even if more bytes are available. Use pread_exact instead if you require the buffer to be filled.

To read at the current offset, use Flow.single_read instead.

pread_exact t ~file_offset bufs reads from t into bufs until bufs is full.

• raises End_of_file

  if the buffer could not be filled.

pwrite_single t ~file_offset bufs performs a single write operation, writing data from bufs to location file_offset in t.

It returns the number of bytes written, which may be less than the length of bufs. In most cases, you will want to use pwrite_all instead.

pwrite_all t ~file_offset bufs writes all the data in bufs to location file_offset in t.

Set and/or get the current file position.

Like Unix.lseek.

Flush file buffers to disk.

Like Unix.fsync.

Set the length of a file.

Like Unix.ftruncate.