Idris2Doc : System.File.Handle

System.File.Handle

closeFile : HasIOio => File -> io ()
Totality: total
openFile : HasIOio => String -> Mode -> io (EitherFileErrorFile)
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