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