Hat.System.Exit

Documentation

data ExitCode

Constructors

ExitSuccess

ExitFailure (R Int)

Instances

WrapVal ExitCode

Methods

wrapVal :: RefSrcPos -> ExitCode -> RefExp -> R ExitCode

Show ExitCode

Methods

gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun ExitCode ShowS))

sshowsPrec :: R (Fun Int (Fun ExitCode ShowS))

gshow :: RefSrcPos -> RefExp -> R (Fun ExitCode String)

sshow :: R (Fun ExitCode String)

gshowList :: RefSrcPos -> RefExp -> R (Fun (List ExitCode) ShowS)

sshowList :: R (Fun (List ExitCode) ShowS)

Read ExitCode

Methods

greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS ExitCode))

sreadsPrec :: R (Fun Int (ReadS ExitCode))

greadList :: RefSrcPos -> RefExp -> R (ReadS (List ExitCode))

sreadList :: R (ReadS (List ExitCode))

Ord ExitCode

Methods

gcompare :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Ordering))

scompare :: R (Fun ExitCode (Fun ExitCode Ordering))

(!<) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(!<=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(!>=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(!>) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(|<) :: R (Fun ExitCode (Fun ExitCode Bool))

(|<=) :: R (Fun ExitCode (Fun ExitCode Bool))

(|>=) :: R (Fun ExitCode (Fun ExitCode Bool))

(|>) :: R (Fun ExitCode (Fun ExitCode Bool))

gmax :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode ExitCode))

gmin :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode ExitCode))

smax :: R (Fun ExitCode (Fun ExitCode ExitCode))

smin :: R (Fun ExitCode (Fun ExitCode ExitCode))

Eq ExitCode

Methods

(!==) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(!/=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool))

(|==) :: R (Fun ExitCode (Fun ExitCode Bool))

(|/=) :: R (Fun ExitCode (Fun ExitCode Bool))

aExitSuccess :: RefAtom

aExitFailure :: RefAtom

gexitWith :: RefSrcPos -> RefExp -> R (Fun ExitCode (IO a))

aexitWith :: RefAtom

hexitWith :: R ExitCode -> RefExp -> R (IO b)

gexitFailure :: RefSrcPos -> RefExp -> R (IO a)

gexitSuccess :: RefSrcPos -> RefExp -> R (IO a)