Idris2Doc : System.File.Handle

System.File.Handle

closeFile : HasIOio => File -> io ()
  Close the given file handle.

@ fh the file handle to close

Totality: total
openFile : HasIOio => String -> Mode -> io (EitherFileErrorFile)
  Open the given file name with the specified mode.

@ f the file name to open
@ m the mode to open the file with

Totality: total
withFile : HasIOio => String -> Mode -> (FileError -> ioa) -> (File -> io (Eitherab)) -> io (Eitherab)
  Perform a given operation on successful file open
and ensure the file is closed afterwards or perform
a different operation if the file fails to open.

Totality: total