An abstract configuration for a process, which can then be launched into an actual running Process. Takes three type parameters, providing the types of standard input, standard output, and standard error, respectively.

There are three ways to construct a value of this type:

• With the proc smart constructor, which takes a command name and a list of arguments.
• With the shell smart constructor, which takes a shell string
• With the IsString instance via OverloadedStrings. If you provide it a string with no spaces (e.g., "date"), it will treat it as a raw command with no arguments (e.g., proc "date" []). If it has spaces, it will use shell.

In all cases, the default for all three streams is to inherit the streams from the parent process. For other settings, see the setters below for default values.

Since: 0.1.0.0

A specification for how to create one of the three standard child streams. See examples below.

Since: 0.1.0.0

Whether a stream is an input stream or output stream. Note that this is from the perspective of the child process, so that a child's standard input stream is an STInput, even though the parent process will be writing to it.

Since: 0.1.0.0

A running process. The three type parameters provide the type of the standard input, standard output, and standard error streams.

Since: 0.1.0.0

Create a ProcessConfig from the given command and arguments.

Since: 0.1.0.0

Create a ProcessConfig from the given shell command.

Since: 0.1.0.0

Set the child's standard input stream to the given StreamSpec.

Default: inherit

Since: 0.1.0.0

Set the child's standard output stream to the given StreamSpec.

Default: inherit

Since: 0.1.0.0

Set the child's standard error stream to the given StreamSpec.

Default: inherit

Since: 0.1.0.0

Set the working directory of the child process.

Default: current process's working directory.

Since: 0.1.0.0

Set the environment variables of the child process.

Default: current process's environment.

Since: 0.1.0.0

Should we close all file descriptors besides stdin, stdout, and stderr? See close_fds for more information.

Default: False

Since: 0.1.0.0

Should we create a new process group?

Default: False

Since: 0.1.0.0

Delegate handling of Ctrl-C to the child. For more information, see delegate_ctlc.

Default: False

Since: 0.1.0.0

Detach console on Windows, see detach_console.

Default: False

Since: 0.1.0.0

Create new console on Windows, see create_new_console.

Default: False

Since: 0.1.0.0

Set a new session with the POSIX setsid syscall, does nothing on non-POSIX. See new_session.

Default: False

Since: 0.1.0.0

Set the child process's group ID with the POSIX setgid syscall, does nothing on non-POSIX. See child_group.

Default: False

Since: 0.1.0.0

Set the child process's user ID with the POSIX setuid syscall, does nothing on non-POSIX. See child_user.

Default: False

Since: 0.1.0.0

Create a new StreamSpec from the given StdStream and a helper function. This function:

• Takes as input the raw Maybe Handle returned by the createProcess function. This will be determined by the StdStream argument.
• Returns the actual stream value a, as well as a cleanup
• function to be run when calling stopProcess.

Since: 0.1.0.0

A stream spec which simply inherits the stream of the parent process.

Since: 0.1.0.0

A stream spec which will close the stream for the child process.

Since: 0.1.0.0

An input stream spec which sets the input to the given ByteString. A separate thread will be forked to write the contents to the child process.

Since: 0.1.0.0

Capture the output of a process in a ByteString.

This function will fork a separate thread to consume all input from the process, and will only make the results available when the underlying Handle is closed. As this is provided as an STM action, you can either check if the result is available, or block until it's ready.

In the event of any exception occurring when reading from the Handle, the STM action will throw a ByteStringOutputException.

Since: 0.1.0.0

Create a new pipe between this process and the child, and return a Handle to communicate with the child.

Since: 0.1.0.0

Use the provided Handle for the child process, and when the process exits, do not close it. This is useful if, for example, you want to have multiple processes write to the same log file sequentially.

Since: 0.1.0.0

Use the provided Handle for the child process, and when the process exits, close it. If you have no reason to keep the Handle open, you should use this over useHandleOpen.

Since: 0.1.0.0

Provide input to a process by writing to a conduit.

Since: 0.1.0.0

Read output from a process by read from a conduit.

Since: 0.1.0.0

Launch a process based on the given ProcessConfig. You should ensure that you close stopProcess on the result. It's usually better to use one of the functions in this module which ensures stopProcess is called, such as withProcess.

Since: 0.1.0.0

Close a process and release any resources acquired. This will ensure terminateProcess is called, wait for the process to actually exit, and then close out resources allocated for the streams. In the event of any cleanup exceptions being thrown this will throw an exception.

Since: 0.1.0.0

Use the bracket pattern to call startProcess and ensure stopProcess is called.

Since: 0.1.0.0

Same as withProcess, but also calls checkExitCode

Since: 0.1.0.0

Run a process, capture its standard output and error as a ByteString, wait for it to complete, and then return its exit code, output, and error.

Note that any previously used setStdout or setStderr will be overridden.

Since: 0.1.0.0

Same as readProcess, but instead of returning the ExitCode, checks it with checkExitCode.

Since: 0.1.0.0

Run the given process, wait for it to exit, and returns its ExitCode.

Since: 0.1.0.0

Same as runProcess, but ignores the ExitCode.

Since: 0.1.0.0

Wait for the process to exit and then return its ExitCode.

Since: 0.1.0.0

Same as waitExitCode, but in STM.

Since: 0.1.0.0

Check if a process has exited and, if so, return its ExitCode.

Since: 0.1.0.0

Same as getExitCode, but in STM.

Since: 0.1.0.0

Wait for a process to exit, and ensure that it exited successfully. If not, throws an ExitCodeException.

Since: 0.1.0.0

Same as checkExitCode, but in STM.

Since: 0.1.0.0

Get the child's standard input stream value.

Since: 0.1.0.0

Get the child's standard output stream value.

Since: 0.1.0.0

Get the child's standard error stream value.

Since: 0.1.0.0

Exception thrown by checkExitCode in the event of a non-success exit code. Note that checkExitCode is called by other functions as well, like runProcess_ or readProcess_.

Since: 0.1.0.0

Wrapper for when an exception is thrown when reading from a child process, used by byteStringOutput.

Since: 0.1.0.0