System.IO.Error

Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file libraries/base/LICENSE)
Maintainer	libraries@haskell.org
Stability	provisional
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Ошибки ввода-вывода

type IOError = IOException Source

Тип Haskell 2010 для исключений в IO монадe. Любая операция ввода-вывода может генерировать IOError вместо возвращения результата. Для более общего типа исключений, включая те, которые возникают в чистом коде, см. Control.Exception.Exception.

В Haskell 2010 это непрозрачный тип.

userError :: String -> IOError Source

Создает значение IOError со строкой, описывающей ошибку. fail метод IO экземпляра класса Monad генерирует userError, таким образом:

instance Monad IO where
  ...
  fail s = ioError (userError s)

mkIOError :: IOErrorType -> String -> Maybe Handle -> Maybe FilePath -> IOError Source

Создает IOError заданного типа, где второй аргумент описывает местоположение ошибки, а третий и четвертый аргументы содержат дескриптор файла и путь к файлу, участвующему в ошибке, если применимо.

annotateIOError :: IOError -> String -> Maybe Handle -> Maybe FilePath -> IOError Source

Добавляет описание местоположения и, возможно, путь к файлу и дескриптор файла к IOError. Если какой-либо из дескриптора файла или пути к файлу не задан, соответствующее значение в IOError остается неизменным.

Классификация ошибок ввода-вывода

isAlreadyExistsError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что один из ее аргументов уже существует.

isDoesNotExistError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что один из ее аргументов не существует.

isAlreadyInUseError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что один из ее аргументов является ресурсом однократного использования, который уже используется (например, открытие одного и того же файла дважды для записи может привести к этой ошибке).

isFullError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что устройство заполнено.

isEOFError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что достигнут конец файла.

isIllegalOperation :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что операция была невозможна. Любое вычисление, которое возвращает IO результат, может завершиться ошибкой с isIllegalOperation. В некоторых случаях реализация не сможет различить возможные причины ошибки. В этом случае она должна завершиться ошибкой с isIllegalOperation.

isPermissionError :: IOError -> Bool Source

Ошибка, указывающая на то, что IO операция завершилась неудачей, потому что у пользователя нет достаточных привилегий операционной системы для выполнения этой операции.

isUserError :: IOError -> Bool Source

Определяемое программистом значение ошибки, созданное с помощью userError.

Атрибуты ошибок ввода-вывода

ioeGetErrorType :: IOError -> IOErrorType Source

ioeGetLocation :: IOError -> String Source

ioeGetErrorString :: IOError -> String Source

ioeGetHandle :: IOError -> Maybe Handle Source

ioeGetFileName :: IOError -> Maybe FilePath Source

ioeSetErrorType :: IOError -> IOErrorType -> IOError Source

ioeSetErrorString :: IOError -> String -> IOError Source

ioeSetLocation :: IOError -> String -> IOError Source

ioeSetHandle :: IOError -> Handle -> IOError Source

ioeSetFileName :: IOError -> FilePath -> IOError Source

Типы ошибок ввода-вывода

data IOErrorType Source

Абстрактный тип, содержащий значение для каждого варианта IOError.

alreadyExistsErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции уже существует.

doesNotExistErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции не существует.

alreadyInUseErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции является одноразовым ресурсом, который уже используется.

fullErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что устройство заполнено.

eofErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что достигнут конец файла.

illegalOperationErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что операция невозможна.

permissionErrorType :: IOErrorType Source

Ошибка ввода-вывода, возникшая потому, что у пользователя недостаточно прав операционной системы для выполнения этой операции.

userErrorType :: IOErrorType Source

Ошибка ввода-вывода, определённая программистом.

IOErrorType предикаты

isAlreadyExistsErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции уже существует.

isDoesNotExistErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции не существует.

isAlreadyInUseErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что один из аргументов операции является одноразовым ресурсом, который уже используется.

isFullErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что устройство заполнено.

isEOFErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что достигнут конец файла.

isIllegalOperationErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что операция невозможна.

isPermissionErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, возникшая потому, что у пользователя недостаточно прав операционной системы для выполнения этой операции.

isUserErrorType :: IOErrorType -> Bool Source

Ошибка ввода-вывода, определённая программистом.

Генерация и перехват ошибок ввода-вывода

ioError :: IOError -> IO a Source

Вызывает IOError в IO монаде.

catchIOError :: IO a -> (IOError -> IO a) -> IO a Source

Функция catchIOError устанавливает обработчик, который получает любые IOError, вызванные в действии, защищенном catchIOError. IOError перехватывается последним установленным обработчиком одной из функций обработки исключений. Эти обработчики не являются избирательными: перехватываются все IOError. Распространение исключений должно быть явно обеспечено в обработчике путем повторного вызова любых нежелательных исключений. Например, в

f = catchIOError g (\e -> if IO.isEOFError e then return [] else ioError e)

функция f возвращает [], когда в g возникает исключение конца файла (см. isEOFError); в противном случае исключение распространяется на следующий внешний обработчик.

Когда исключение распространяется за пределы основной программы, система Haskell выводит соответствующее значение IOError и завершает работу программы.

Исключения, не связанные с вводом-выводом, не перехватываются этим вариантом; чтобы перехватывать все исключения, используйте catch из Control.Exception.

С версии: 4.4.0.0

tryIOError :: IO a -> IO (Either IOError a) Source

Конструкция tryIOError comp выявляет ошибки ввода-вывода, которые возникают в вычислении и не обрабатываются полностью.

Исключения, не связанные с вводом-выводом, не перехватываются этим вариантом; чтобы перехватывать все исключения, используйте try из Control.Exception.

С версии: 4.4.0.0

modifyIOError :: (IOError -> IOError) -> IO a -> IO a Source

Перехватывает любые IOError, которые возникают в вычислении, и вызывает измененную версию.