ProcessImplE
Process with bound error streams
Type members
Types
Value members
Concrete methods
- Definition Classes
Inherited methods
Feed the process input from a byte stream with flushing per chunks enabled.
Feed the process input from a byte stream with flushing per chunks enabled.
An alias for fromStream.
- Value Params
- stream
Input stream
- Returns
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from
- RedirectableInput
Feed the process input from a byte stream.
Feed the process input from a byte stream.
An alias for fromStream.
- Value Params
- stream
Input stream
- Returns
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from
- RedirectableInput
Feed the process input from a file natively.
Feed the process input from a file natively.
An alias for fromFile.
- Value Params
- path
Path to the file
- Returns
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from
- RedirectableInput
Redirects the output to a file natively
Redirects the output to a file natively
An alias for toFile
- Value Params
- path
Target file path
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for toSink
- Value Params
- sink
Target sink
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a pipe and folds its output with a monoid instance.
Redirects the output to a pipe and folds its output with a monoid instance.
The process output type will be the same as the pipe's output type. An alias for toFoldMonoid
- Type Params
- O
Output type of the pipe. Must have a monoid instance.
- Value Params
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for appendToFile
- Value Params
- path
Target file path
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a pipe and collects its output to a vector
Redirects the output to a pipe and collects its output to a vector
The process output type will be a vector of the pipe's output type. An alias for toVector
- Type Params
- O
Output type of the pipe
- Value Params
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Adds an environment variable to the process
Adds an environment variable to the process
- Value Params
- nameValuePair
A pair of name and value
- Returns
a new process with the working directory set
- Inherited from
- ProcessLikeConfiguration
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for >>
- Value Params
- path
Target file path
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
- Definition Classes
- Inherited from
- ProcessConfiguration
Redirects the output to a pipe and drains it regardless of its output type.
Redirects the output to a pipe and drains it regardless of its output type.
The process output type will be Unit.
- Type Params
- O
Output type of the pipe
- Value Params
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a pipe and folds it with a custom function.
Redirects the output to a pipe and folds it with a custom function.
The process output type will be R.
- Type Params
- O
Output type of the pipe
- R
Result type of the fold
- Value Params
- fn
The fold function
- init
The initial value for the fold
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Feed the process input from a file natively.
Feed the process input from a file natively.
An alias for <.
- Value Params
- path
Path to the file
- Returns
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from
- RedirectableInput
Feed the process input from a byte stream.
- Value Params
- flushChunks
Flush the process input stream after each chunk
- stream
Input stream
- Returns
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from
- RedirectableInput
Changes the working directory of the process
Changes the working directory of the process
- Value Params
- workingDirectory
the working directory
- Returns
a new process with the working directory set
- Inherited from
- ProcessLikeConfiguration
Use the inherited working directory of the process instead of an explicit one
Use the inherited working directory of the process instead of an explicit one
- Returns
a new process with the working directory cleared
- Inherited from
- ProcessLikeConfiguration
Starts the process asynchronously and blocks the execution until it is finished
Starts the process asynchronously and blocks the execution until it is finished
- Value Params
- runner
The process runner to be used
- Returns
the result of the finished process
- Inherited from
- Process
Starts the process asynchronously and returns a closeable fiber representing it
Starts the process asynchronously and returns a closeable fiber representing it
Joining the fiber waits for the process to be terminated. Canceling the fiber terminates the process normally (with SIGTERM).
- Value Params
- runner
The process runner to be used
- Returns
a managed fiber representing the running process
- Inherited from
- Process
Starts the process asynchronously and returns the RunningProcess interface for it
Starts the process asynchronously and returns the RunningProcess interface for it
This is the most advanced way to start processes. See start and run as alternatives.
- Type Params
- Info
The runner-specific process info type
- Value Params
- runner
The process runner to be used
- Returns
interface for handling the running process
- Inherited from
- Process
Redirects the output to a file natively
Redirects the output to a file natively
An alias for >
- Value Params
- path
Target file path
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a pipe and folds its output with a monoid instance.
Redirects the output to a pipe and folds its output with a monoid instance.
The process output type will be the same as the pipe's output type. An alias for >#
- Type Params
- O
Output type of the pipe. Must have a monoid instance.
- Value Params
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for >
- Value Params
- sink
Target sink
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Redirects the output to a pipe and collects its output to a vector
Redirects the output to a pipe and collects its output to a vector
The process output type will be a vector of the pipe's output type. An alias for >?
- Type Params
- O
Output type of the pipe
- Value Params
- pipe
Target pipe
- Returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from
- RedirectableOutput
Replaces the arguments
Replaces the arguments
- Value Params
- newArguments
new list of arguments
- Returns
returns a new process specification
- Inherited from
- ProcessConfiguration
Replaces the command
Replaces the command
- Value Params
- newCommand
new value for the command to be executed
- Returns
returns a new process specification
- Inherited from
- ProcessConfiguration
Removes an environment variable from the process
Removes an environment variable from the process
Usable to remove variables inherited from the parent process.
- Value Params
- name
Name of the environment variable
- Returns
a new process with the working directory set
- Inherited from
- ProcessLikeConfiguration