Idris2Doc : System.File.Error

System.File.Error

dataFileError : Type
  The types of errors that can occur during file operations.

Totality: total
Constructors:
GenericFileError : Int -> FileError
  A generic error with an errno
FileReadError : FileError
FileWriteError : FileError
FileNotFound : FileError
PermissionDenied : FileError
FileExists : FileError

Hint: 
ShowFileError
fileError : HasIOio => File -> ioBool
  Check if the error indicator for the given file handle is set.

Totality: total
returnError : HasIOio => io (EitherFileErrora)
  Return the `FileError` corresponding to the errno that was set when the
function call before this one errored.

Totality: total