Prox

Supported process group error redirection types. Should not be used directly, see the redirection traits instead.

Helper type class for process group error redirection dependent typing

Supported input redirection types. Should not be used directly, see the redirection traits instead.

Default implementation of ProcessRunner using the Java process API

Default implementation of RunningProcess using the Java process API

Default implementation of RunningProcessGroup using the Java process API

Supported output redirection types. Should not be used directly, see the redirection traits instead.

Helper type class for output and error redirection dependent typing

Describes a system process to be executed

This base trait is always extended with redirection and configuration capabilities represented by the traits ProcessConfiguration, RedirectableInput, RedirectableOutput and RedirectableError.

To create a process use the constructor in the companion object Process.apply.

The process specification not only encodes the process to be started but also how its input, output and error streams are redirected and executed. For this reason the effect type is also bound by the process, not just at execution time.

The capability to configure process execution details

Process group is two or more processes attached to each other

This implements a pipeline of processes. The input of the first process and the output of the last process is redirectable with the RedirectableInput and RedirectableOutput traits. The processes are attached to each other's input/output streams, the pipe between them is customizable.

The error streams are also redirectable with the RedirectableErrors trait.

Result of an executed process group

Extension methods for unbound processes enabling the creation of process groups

Result of a finished process

Interface for running processes and process groups

The default implementation is JVMProcessRunner

String interpolator for an alternative of Process.apply

val process = proc"ls -hal $dir"

The capability to redirect the error output of a process

The capability to redirect all the error outputs simultaneously of a process group

The capability to redirect the input of a process or process group

The capability to redirect the output of a process or a process group

Representation of a running process

Representation of a running process group

Default implementation of ProcessGroupResult

Default implementation of ProcessResult

Extension methods for unbound processes enabling the creation of process groups

String interpolator for an alternative of Process.apply

val process = proc"ls -hal $dir"