hat-2.9.3: The Haskell tracer, generating and viewing Haskell execution traces
Hat.System.Exit
data ExitCode Source #
Constructors
Instances
Methods
wrapVal :: RefSrcPos -> ExitCode -> RefExp -> R ExitCode Source #
gshowsPrec :: RefSrcPos -> RefExp -> R (Fun Int (Fun ExitCode ShowS)) Source #
sshowsPrec :: R (Fun Int (Fun ExitCode ShowS)) Source #
gshow :: RefSrcPos -> RefExp -> R (Fun ExitCode String) Source #
sshow :: R (Fun ExitCode String) Source #
gshowList :: RefSrcPos -> RefExp -> R (Fun (List ExitCode) ShowS) Source #
sshowList :: R (Fun (List ExitCode) ShowS) Source #
greadsPrec :: RefSrcPos -> RefExp -> R (Fun Int (ReadS ExitCode)) Source #
sreadsPrec :: R (Fun Int (ReadS ExitCode)) Source #
greadList :: RefSrcPos -> RefExp -> R (ReadS (List ExitCode)) Source #
sreadList :: R (ReadS (List ExitCode)) Source #
gcompare :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Ordering)) Source #
scompare :: R (Fun ExitCode (Fun ExitCode Ordering)) Source #
(!<) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(!<=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(!>=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(!>) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|<) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|<=) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|>=) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|>) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
gmax :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode ExitCode)) Source #
gmin :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode ExitCode)) Source #
smax :: R (Fun ExitCode (Fun ExitCode ExitCode)) Source #
smin :: R (Fun ExitCode (Fun ExitCode ExitCode)) Source #
(!==) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(!/=) :: RefSrcPos -> RefExp -> R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|==) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
(|/=) :: R (Fun ExitCode (Fun ExitCode Bool)) Source #
aExitSuccess :: RefAtom Source #
aExitFailure :: RefAtom Source #
gexitWith :: RefSrcPos -> RefExp -> R (Fun ExitCode (IO a)) Source #
aexitWith :: RefAtom Source #
hexitWith :: R ExitCode -> RefExp -> R (IO b) Source #
gexitFailure :: RefSrcPos -> RefExp -> R (IO a) Source #
gexitSuccess :: RefSrcPos -> RefExp -> R (IO a) Source #