Idris2Doc : System.File.Handle

System.File.Handle

closeFile : HasIO io => File -> io ()
  Totality: total
openFile : HasIO io => String -> Mode -> io (Either FileError File)
  Totality: total
withFile : HasIO io => String -> Mode -> (FileError -> io a) -> (File -> io (Either a b)) -> io (Either a b)
  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