monad-throw-exit-0.1.0.0: Functions to exit the program anywhere in MonadThrow monads.
Safe HaskellSafe-Inferred
LanguageHaskell2010

System.Exit.MonadThrow

Description

Functions to exit the program anywhere in MonadThrow monads.

Synopsis

Documentation

exitWith :: MonadThrow m => ExitCode -> m a Source #

A version of exitWith available in any MonadThrow context. See exitWith for details

exitFailure :: MonadThrow m => m a Source #

A version of exitFailure available in any MonadThrow context. See exitFailure for details

exitSuccess :: MonadThrow m => m a Source #

A version of exitSuccess available in any MonadThrow context. See exitSuccess for details

Re-export from the original System.Exit module.

data ExitCode #

Defines the exit codes that a program can return.

Constructors

ExitSuccess

indicates successful termination;

ExitFailure Int

indicates program failure with an exit code. The exact interpretation of the code is operating-system dependent. In particular, some values may be prohibited (e.g. 0 on a POSIX-compliant system).

Instances

Instances details
Eq ExitCode 
Instance details

Defined in GHC.IO.Exception

Ord ExitCode 
Instance details

Defined in GHC.IO.Exception

Read ExitCode 
Instance details

Defined in GHC.IO.Exception

Show ExitCode 
Instance details

Defined in GHC.IO.Exception

Generic ExitCode 
Instance details

Defined in GHC.IO.Exception

Associated Types

type Rep ExitCode :: Type -> Type #

Methods

from :: ExitCode -> Rep ExitCode x #

to :: Rep ExitCode x -> ExitCode #

Exception ExitCode

Since: base-4.1.0.0

Instance details

Defined in GHC.IO.Exception

type Rep ExitCode 
Instance details

Defined in GHC.IO.Exception

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