data FileError : Type
The types of errors that can occur during file operations.
Visibility: public export
GenericFileError : Int -> FileError
A generic error with an errno
FileReadError : FileError
FileWriteError : FileError
FileNotFound : FileError
PermissionDenied : FileError
FileExists : 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.
fileError : HasIO io => File -> io Bool
Check if the error indicator for the given file handle is set.