System.Exit

Авторские права	(c) The University of Glasgow 2001
Лицензия	В стиле BSD (см. файл libraries/base/LICENSE)
Сопровождающий	libraries@haskell.org
Стабильность	предварительная
Переносимость	переносимый
Безопасный Haskell	Безопасный
Язык	Haskell2010

Описание

Завершение программы.

data ExitCode Исходный код

Определяет коды завершения, которые может возвращать программа.

Конструкторы

ExitSuccess	указывает на успешное завершение;
ExitFailure Int	указывает на сбой программы и содержит код завершения. Точная интерпретация кода зависит от операционной системы. В частности, некоторые значения могут быть запрещены (например, 0 в системе, совместимой с POSIX).

Экземпляры

Подробности экземпляров

Eq ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Методы

(==) :: ExitCode -> ExitCode -> Bool Исходный код

(/=) :: ExitCode -> ExitCode -> Bool Исходный код

Ord ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Методы

compare :: ExitCode -> ExitCode -> Ordering Исходный код

(<) :: ExitCode -> ExitCode -> Bool Исходный код

(<=) :: ExitCode -> ExitCode -> Bool Исходный код

(>) :: ExitCode -> ExitCode -> Bool Исходный код

(>=) :: ExitCode -> ExitCode -> Bool Исходный код

max :: ExitCode -> ExitCode -> ExitCode Исходный код

min :: ExitCode -> ExitCode -> ExitCode Исходный код

Exception ExitCode Исходный код

Начиная с: base-4.1.0.0

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Методы

toException :: ExitCode -> SomeException Исходный код

fromException :: SomeException -> Maybe ExitCode Исходный код

displayException :: ExitCode -> String Исходный код

backtraceDesired :: ExitCode -> Bool Исходный код

Generic ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Связанные типы

type Rep ExitCode

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

type Rep ExitCode = D1 ('MetaData "ExitCode" "GHC.Internal.IO.Exception" "ghc-internal" 'False) (C1 ('MetaCons "ExitSuccess" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExitFailure" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

Методы

from :: ExitCode -> Rep ExitCode x Исходный код

to :: Rep ExitCode x -> ExitCode Исходный код

Read ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Методы

readsPrec :: Int -> ReadS ExitCode Исходный код

readList :: ReadS [ExitCode] Исходный код

readPrec :: ReadPrec ExitCode Исходный код

readListPrec :: ReadPrec [ExitCode] Исходный код

Show ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

Методы

showsPrec :: Int -> ExitCode -> ShowS Исходный код

show :: ExitCode -> String Исходный код

showList :: [ExitCode] -> ShowS Исходный код

type Rep ExitCode Исходный код

Подробности экземпляра

Определён в GHC.Internal.IO.Exception

exitWith :: ExitCode -> IO a Исходный код

Вычисление exitWith code выбрасывает ExitCode code. Обычно это завершает программу, возвращая code вызывающей программе.

При завершении программы стандартные Handles stdout и stderr автоматически сбрасываются; любые другие буферизованные Handles необходимо сбросить вручную, иначе буферизованные данные будут потеряны.

Программа, завершившаяся любым другим способом с ошибкой, считается вызвавшей exitFailure. Программа, успешно завершившаяся без явного вызова exitWith, считается вызвавшей exitWith ExitSuccess.

Поскольку ExitCode является Exception, его можно перехватить с помощью функций из Control.Exception. Это означает, что вычисления очистки, добавленные с помощью bracket (из Control.Exception), также корректно выполняются при exitWith.

Примечание: в GHC для завершения процесса exitWith следует вызывать из основного потока программы. При вызове из другого потока exitWith выбросит ExitCode как обычно, однако исключение не приведёт к завершению самого процесса.

exitFailure :: IO a Исходный код

Вычисление exitFailure эквивалентно exitWith (ExitFailure exitfail), где значение exitfail зависит от реализации.

exitSuccess :: IO a Исходный код

Вычисление exitSuccess эквивалентно exitWith ExitSuccess. Оно успешно завершает программу.

die :: String -> IO a Исходный код

Записывает заданное сообщение об ошибке в stderr и завершает работу с кодом exitFailure.

Начиная с: base-4.8.0.0

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/9.14.1/docs/libraries/base-4.22.0.0-66f8/System-Exit.html