Module System.Process

Summary of exported operations:

getPID :: IO Int  Deterministic 
Returns the process identifier of the current Curry process.
system :: String -> IO Int  Deterministic 
Executes a shell command and return with the exit code of the command.
exitWith :: Int -> IO a  Deterministic 
Terminates the execution of the current Curry program and returns the exit code given by the argument.
sleep :: Int -> IO ()  Deterministic 
The evaluation of the action (sleep n) puts the Curry process asleep for n seconds.

Exported operations:

getPID :: IO Int  Deterministic 

Returns the process identifier of the current Curry process.

Further infos:
  • externally defined

system :: String -> IO Int  Deterministic 

Executes a shell command and return with the exit code of the command. An exit status of zero means successful execution.

exitWith :: Int -> IO a  Deterministic 

Terminates the execution of the current Curry program and returns the exit code given by the argument. An exit code of zero means successful execution.

sleep :: Int -> IO ()  Deterministic 

The evaluation of the action (sleep n) puts the Curry process asleep for n seconds.