Module Eio.FileSource

Tranditional 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.