case class ProcessImplI(command: String, arguments: List[String], workingDirectory: Option[Path], environmentVariables: Map[String, String], removedEnvironmentVariables: Set[String], outputRedirection: Prox.OutputRedirection, runOutputStream: (InputStream) => Prox.ProxIO[Unit], errorRedirection: Prox.OutputRedirection, runErrorStream: (InputStream) => Prox.ProxIO[Unit], inputRedirection: Prox.InputRedirection) extends Prox.Process[Unit, Unit] with Prox.RedirectableOutput[[α$12$]ProcessImplIO[α$12$]] with Prox.RedirectableError[[α$13$]ProcessImplIE[α$13$]] with Product with Serializable
Process with bound input streams
- Alphabetic
- By Inheritance
- ProcessImplI
- Serializable
- Product
- Equals
- RedirectableError
- RedirectableOutput
- Process
- ProcessConfiguration
- ProcessLikeConfiguration
- ProcessLike
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ProcessImplI(command: String, arguments: List[String], workingDirectory: Option[Path], environmentVariables: Map[String, String], removedEnvironmentVariables: Set[String], outputRedirection: Prox.OutputRedirection, runOutputStream: (InputStream) => Prox.ProxIO[Unit], errorRedirection: Prox.OutputRedirection, runErrorStream: (InputStream) => Prox.ProxIO[Unit], inputRedirection: Prox.InputRedirection)
Type Members
- type Self = ProcessImplI
- Definition Classes
- ProcessImplI → Process → ProcessLikeConfiguration
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def !>(path: Path): ProcessImplIE[Unit]
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for errorToFile
- path
Target file path
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def !>(sink: Prox.ProxSink[Byte]): ProcessImplIE[Unit]
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
- sink
Target sink
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def !>#[O](pipe: Prox.ProxPipe[Byte, O])(implicit arg0: Prox.ProxMonoid[O]): ProcessImplIE[O]
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
- O
Output type of the pipe. Must have a monoid instance.
- pipe
Target pipe
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def !>>(path: Path): ProcessImplIE[Unit]
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
- path
Target file path
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def !>?[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIE[Vector[O]]
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
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- final def ##: Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def >(path: Path): ProcessImplIO[Unit]
Redirects the output to a file natively
Redirects the output to a file natively
An alias for toFile
- path
Target file path
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def >(sink: Prox.ProxSink[Byte]): ProcessImplIO[Unit]
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for toSink
- sink
Target sink
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def >#[O](pipe: Prox.ProxPipe[Byte, O])(implicit arg0: Prox.ProxMonoid[O]): ProcessImplIO[O]
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
- O
Output type of the pipe. Must have a monoid instance.
- pipe
Target pipe
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def >>(path: Path): ProcessImplIO[Unit]
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for appendToFile
- path
Target file path
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def >?[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIO[Vector[O]]
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
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def appendErrorToFile(path: Path): ProcessImplIE[Unit]
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 !>>
- path
Target file path
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def appendToFile(path: Path): ProcessImplIO[Unit]
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for >>
- path
Target file path
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def applyConfiguration(workingDirectory: Option[Path], environmentVariables: Map[String, String], removedEnvironmentVariables: Set[String]): Self
- Attributes
- protected
- Definition Classes
- ProcessConfiguration → ProcessLikeConfiguration
- val arguments: List[String]
- Definition Classes
- ProcessImplI → Process
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native() @HotSpotIntrinsicCandidate()
- val command: String
- Definition Classes
- ProcessImplI → Process
- def connectError[R <: Prox.OutputRedirection, RE](target: R)(implicit outputRedirectionType: Aux[R, RE]): ProcessImplIE[RE]
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.
- R
Error output redirection type
- target
Redirection target
- outputRedirectionType
Helper for dependent error output type
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- ProcessImplI → RedirectableError
- def connectOutput[R <: Prox.OutputRedirection, RO](target: R)(implicit outputRedirectionType: Aux[R, RO]): ProcessImplIO[RO]
The low level operation to attach an output to a process
The low level operation to attach an 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 O.
- R
Output redirection type
- target
Redirection target
- outputRedirectionType
Helper for dependent output type
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- ProcessImplI → RedirectableOutput
- def drainError[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIE[Unit]
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.
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def drainOutput[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIO[Unit]
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.
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- val environmentVariables: Map[String, String]
- Definition Classes
- ProcessImplI → Process → ProcessLikeConfiguration
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- val errorRedirection: Prox.OutputRedirection
- Definition Classes
- ProcessImplI → Process
- def errorToFile(path: Path): ProcessImplIE[Unit]
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for !>
- path
Target file path
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def errorToFoldMonoid[O](pipe: Prox.ProxPipe[Byte, O])(implicit arg0: Prox.ProxMonoid[O]): ProcessImplIE[O]
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 !>#
- O
Output type of the pipe. Must have a monoid instance.
- pipe
Target pipe
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def errorToSink(sink: Prox.ProxSink[Byte]): ProcessImplIE[Unit]
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 !>
- sink
Target sink
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def errorToVector[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIE[Vector[O]]
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 !>?
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def foldError[O, R](pipe: Prox.ProxPipe[Byte, O], init: R, fn: (R, O) => R): ProcessImplIE[R]
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.
- O
Output type of the pipe
- R
Result type of the fold
- pipe
Target pipe
- init
The initial value for the fold
- fn
The fold function
- returns
Returns a new process with its error output redirected and its error redirection capability removed.
- Definition Classes
- RedirectableError
- def foldOutput[O, R](pipe: Prox.ProxPipe[Byte, O], init: R, fn: (R, O) => R): ProcessImplIO[R]
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.
- O
Output type of the pipe
- R
Result type of the fold
- pipe
Target pipe
- init
The initial value for the fold
- fn
The fold function
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- def in(workingDirectory: Path): Self
Changes the working directory of the process
Changes the working directory of the process
- workingDirectory
the working directory
- returns
a new process with the working directory set
- Definition Classes
- ProcessLikeConfiguration
- def inInheritedWorkingDirectory(): Self
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
- Definition Classes
- ProcessLikeConfiguration
- val inputRedirection: Prox.InputRedirection
- Definition Classes
- ProcessImplI → Process
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @HotSpotIntrinsicCandidate()
- val outputRedirection: Prox.OutputRedirection
- Definition Classes
- ProcessImplI → Process
- def productElementNames: Iterator[String]
- Definition Classes
- Product
- val removedEnvironmentVariables: Set[String]
- Definition Classes
- ProcessImplI → Process → ProcessLikeConfiguration
- def run[Info]()(implicit runner: Prox.ProcessRunner[Info]): Prox.ProxIO[Prox.ProcessResult[Unit, Unit]]
Starts the process asynchronously and blocks the execution until it is finished
Starts the process asynchronously and blocks the execution until it is finished
- runner
The process runner to be used
- returns
the result of the finished process
- Definition Classes
- Process
- val runErrorStream: (InputStream) => Prox.ProxIO[Unit]
- Definition Classes
- ProcessImplI → Process
- val runOutputStream: (InputStream) => Prox.ProxIO[Unit]
- Definition Classes
- ProcessImplI → Process
- def selfCopy(command: String, arguments: List[String], workingDirectory: Option[Path], environmentVariables: Map[String, String], removedEnvironmentVariables: Set[String]): ProcessImplI
- Attributes
- protected
- Definition Classes
- ProcessImplI → ProcessConfiguration
- def start[Info]()(implicit runner: Prox.ProcessRunner[Info]): Prox.ProxResource[Prox.ProxFiber[Prox.ProcessResult[Unit, Unit]]]
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).
- runner
The process runner to be used
- returns
a managed fiber representing the running process
- Definition Classes
- Process
- def startProcess[Info]()(implicit runner: Prox.ProcessRunner[Info]): Prox.ProxIO[Prox.RunningProcess[Unit, Unit, Info]]
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.
- Info
The runner-specific process info type
- runner
The process runner to be used
- returns
interface for handling the running process
- Definition Classes
- Process
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toFile(path: Path): ProcessImplIO[Unit]
Redirects the output to a file natively
Redirects the output to a file natively
An alias for >
- path
Target file path
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def toFoldMonoid[O](pipe: Prox.ProxPipe[Byte, O])(implicit arg0: Prox.ProxMonoid[O]): ProcessImplIO[O]
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 >#
- O
Output type of the pipe. Must have a monoid instance.
- pipe
Target pipe
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def toSink(sink: Prox.ProxSink[Byte]): ProcessImplIO[Unit]
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for >
- sink
Target sink
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- def toVector[O](pipe: Prox.ProxPipe[Byte, O]): ProcessImplIO[Vector[O]]
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 >?
- O
Output type of the pipe
- pipe
Target pipe
- returns
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Definition Classes
- RedirectableOutput
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- def with(nameValuePair: (String, String)): Self
Adds an environment variable to the process
Adds an environment variable to the process
- nameValuePair
A pair of name and value
- returns
a new process with the working directory set
- Definition Classes
- ProcessLikeConfiguration
- def withArguments(newArguments: List[String]): Self
Replaces the arguments
Replaces the arguments
- newArguments
new list of arguments
- returns
returns a new process specification
- Definition Classes
- ProcessConfiguration
- def withCommand(newCommand: String): Self
Replaces the command
Replaces the command
- newCommand
new value for the command to be executed
- returns
returns a new process specification
- Definition Classes
- ProcessConfiguration
- def without(name: String): Self
Removes an environment variable from the process
Removes an environment variable from the process
Usable to remove variables inherited from the parent process.
- name
Name of the environment variable
- returns
a new process with the working directory set
- Definition Classes
- ProcessLikeConfiguration
- val workingDirectory: Option[Path]
- Definition Classes
- ProcessImplI → Process → ProcessLikeConfiguration
Deprecated Value Members
- def finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable]) @Deprecated
- Deprecated