Library DocumentationStructuresSignaturesIdentifiersPackagesAbout

Signature OS (basis)

Functionality for interacting with the operating system. 

structure OS : OS (basis)

signature OS =
  sig
    type syserror

    exception SysErr of string * syserror option

    val errorMsg : syserror -> string
    val errorName : syserror -> string
    val syserror : string -> syserror option

    structure FileSys : OS_FILE_SYS
    structure Path : OS_PATH
    structure Process : OS_PROCESS
    structure IO : OS_IO
  end
[type syserror]
Type of underlying system errors.

[exception SysErr(s,erropt)]
Represents a system error.

[errorMsg err]
Returns a string explaining the error message corresponding to a system error code (e.g., as found in a SysErr exception). The precise form of the returned string is operating system dependent.

[structure FileSys]
File system operations for the operating system.

[structure Path]
Path management operations for the operating system.

[structure Process]
Operating system processes.

[structure IO]
Input and output operations for the operating system.

Generated by SigDoc