Idris2Doc : System.File.Error

System.File.Error

Reexports
import public System.File.Types
Definitions
data FileError : Type
  The types of errors that can occur during file operations.

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

  Hint: 
Show FileError
returnError : HasIO io => io (Either FileError a)
  Return the `FileError` corresponding to the errno that was set when the
  function call before this one errored.

  Totality: total
  Visibility: export
fileError : HasIO io => File -> io Bool
  Check if the error indicator for the given file handle is set.

  Totality: total
  Visibility: export