Module System.Exit

This package provides compatible definitions for Haskell 2010's System.Exit by delegating to Java's System.exit function.

Note that we do not raise an error for attempting to exitWith an ExitFailure 0 value (like GHC's System.Exit library does). That seems a rather arbitrary / unnecessary restriction although we could throw an IllegalArgumentException for it (which still would not be entirely compatible with Haskell anyway).

Imports

import Java.Lang as Lang
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

data ExitCode

exitWith ∷ ExitCode → IO a

exitFailure ∷ IO a

exitSuccess ∷ IO a
Instances

instance Eq ExitCode

instance Ord ExitCode

instance Show ExitCode
Functions and Values by Type

Definitions

data ExitCode

we rely default Eq, Ord, Show implementations - there is no Read yet

Constructors

ExitFailure Int
ExitSuccess

exitWith ∷ ExitCode → IO a

exitFailure ∷ IO a

exitFail is arbitrarily 1 to indicate a failing exit

exitSuccess ∷ IO a

Instances

instance Eq ExitCode

Member Functions

!= ∷ ExitCode → ExitCode → Bool
infix 7: inherited from Eq.!=
== ∷ ExitCode → ExitCode → Bool
infix 7: Function generated for derived instance.
hashCode ∷ ExitCode → Int: Function generated for derived instance.

instance Ord ExitCode

Member Functions

< ∷ ExitCode → ExitCode → Bool
infix 9: inherited from Ord.<
<= ∷ ExitCode → ExitCode → Bool
infix 9: inherited from Ord.<=
<=> ∷ ExitCode → ExitCode → Ordering
infix 8: Function generated for derived instance.
> ∷ ExitCode → ExitCode → Bool
infix 9: inherited from Ord.>
>= ∷ ExitCode → ExitCode → Bool
infix 9: inherited from Ord.>=
compare ∷ ExitCode → ExitCode → Ordering
infix 8: inherited from Ord.compare
max ∷ ExitCode → ExitCode → ExitCode: inherited from Ord.max
min ∷ ExitCode → ExitCode → ExitCode: inherited from Ord.min

instance Show ExitCode

Member Functions

display ∷ ExitCode → String: inherited from Show.display
show ∷ ExitCode → String: Function generated for derived instance.
showChars ∷ ExitCode → [Char]: inherited from Show.showChars
showList ∷ [ExitCode] → String → String: inherited from Show.showList
showsPrec ∷ Int → ExitCode → String → String: inherited from Show.showsPrec
showsub ∷ ExitCode → String: Function generated for derived instance.

Functions and Values by Type

[ExitCode] → String → String: Show_ExitCode.showList
Int → ExitCode → String → String: Show_ExitCode.showsPrec
Int → ExitCode: ExitCode.ExitFailure
ExitCode → ExitCode → Bool: Eq_ExitCode.!=, Eq_ExitCode.==, Ord_ExitCode.>=, Ord_ExitCode.<, Ord_ExitCode.<=, Ord_ExitCode.>
ExitCode → ExitCode → Ordering: Ord_ExitCode.compare, Ord_ExitCode.<=>
ExitCode → ExitCode → ExitCode: Ord_ExitCode.min, Ord_ExitCode.max
ExitCode → String: Show_ExitCode.showsub, Show_ExitCode.display, Show_ExitCode.show
ExitCode → [Char]: Show_ExitCode.showChars
ExitCode → Int: Eq_ExitCode.hashCode
ExitCode: ExitCode.ExitSuccess
ExitCode → IO a: exitWith
IO a: exitFailure, exitSuccess