Running external commands.

def IO.Process.runCmdWithInput' (cmd : String) (args : Array String) (input : optParam String "") (throwFailure : optParam Bool true) : IO (UInt32 × String × String)

Pipe input into stdin of the spawned process, then return (exitCode, stdout, stdErr) upon completion.

def IO.Process.runCmdWithInput (cmd : String) (args : Array String) (input : optParam String "") (throwFailure : optParam Bool true) : IO String

Pipe input into stdin of the spawned process, then return the entire content of stdout as a String upon completion.