RedirectableError
The capability to redirect the error output of a process
- Type parameters:
- P
Self type without the RedirectableError capability
Value members
Abstract methods
The low level operation to attach an error output to a process
The low level operation to attach an error output to a process
Use one of the other methods of this trait for convenience. This is the place where the output type gets calculated with a helper type class called OutputRedirectionType which implements the type level computation for figuring out E.
- Type parameters:
- E
Error output type
- R
Error output redirection type
- Value parameters:
- outputRedirectionType
Helper for dependent error output type
- target
Redirection target
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Concrete methods
Redirects the error output to a sink.
Redirects the error output to a sink.
The process error output type will be Unit. An alias for errorToSink
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for errorToFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and folds its output with a monoid instance.
Redirects the error output to a pipe and folds its output with a monoid instance.
The process error output type will be the same as the pipe's output type. An alias for errorToFoldMonoid
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a file natively in append mode
Redirects the error output to a file natively in append mode
An alias for appendErrorToFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and collects its output to a vector
Redirects the error output to a pipe and collects its output to a vector
The process error output type will be a vector of the pipe's output type. An alias for errorToVector
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a file natively in append mode
Redirects the error output to a file natively in append mode
An alias for !>>
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and drains it regardless of its output type.
Redirects the error output to a pipe and drains it regardless of its output type.
The process error output type will be Unit.
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for !>
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and folds its output with a monoid instance.
Redirects the error output to a pipe and folds its output with a monoid instance.
The process error output type will be the same as the pipe's output type. An alias for !>#
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a sink.
Redirects the error output to a sink.
The process error output type will be Unit. An alias for !>
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and collects its output to a vector
Redirects the error output to a pipe and collects its output to a vector
The process error output type will be a vector of the pipe's output type. An alias for !>?
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
Redirects the error output to a pipe and folds it with a custom function.
Redirects the error output to a pipe and folds it with a custom function.
The process error output type will be R.
- Type parameters:
- O
Output type of the pipe
- R
Result type of the fold
- Value parameters:
- fn
The fold function
- init
The initial value for the fold
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.