Haskell 98报告
顶部|后面|下一个|目录|功能索引

23  系统功能


模块系统(
退出代码(退出成功,退出失败),
getArgs、getProgName、getEnv、system、exitWith、exitFailure
)其中

data ExitCode=ExitSuccess|ExitFailure Int
推导(等式、命令、读取、显示)

getArgs::IO[String]
getProgName::IO字符串
getEnv::String->IO字符串
系统::字符串->IO出口代码
exitWith::ExitCode->IO退出代码->IO
exitFailure::IO退出失败:IO

此库描述程序与操作系统。

任何系统操作可能引发非法操作,作为第节中描述21.1; 所有其他允许误差为如下所述。请注意,特别是如果一个实现不支持必须引发的操作is非法操作.

这个退出代码type定义程序可以返回的退出代码。退出成功表示终止成功;退出失败代码用值指示程序故障代码.确切的解释代码取决于操作系统。特别是,一些值代码可能被禁止(例如符合POSIX的系统)。

计算获取参数返回程序命令的列表行参数(不包括程序名)。计算获取程序名称返回程序的名称当它被调用时。计算获取环境 无功功率,无功功率返回值环境变量的无功功率,无功功率.If变量无功功率,无功功率未定义isDoesNotExist错误引发异常。计算系统 cmd公司返回当操作系统处理命令cmd公司.

计算退出时使用 代码终止程序,返回代码发送给程序的调用者。程序终止时,任何打开或半关闭的句柄都将首先关闭。调用者可以按照自己的意愿解释返回代码,但程序应该返回退出成功指正常完工,以及退出失败n个表示程序遇到来自它无法恢复。价值观退出失败等于exitWith(退出失败exitfail(退出失败)),其中exitfail(退出失败)依赖于实现。退出时使用绕过中的错误处理I/O monad,无法被截获抓住.

如果程序由于调用而终止错误因为其值被确定为_|_,然后它与计算相同退出失败。否则,如果有程序第页终止而不调用退出时使用显式地,它被处理与计算相同
(
第页>>exitWith ExitSuccess)`catch`\_->exitFailure


Haskell 98报告
顶部|后面|下一个|目录|功能索引
2002年12月