This page describes all the file: methods for the file object.

Note: First use the io.open() function to create the file handle object, then use the methods on the file handle.