StreamSpecification

Various options to redirect streams.

Union Cases

Union CaseDescription
CreatePipe(StreamRef)
Signature: StreamRef

Retrieve the raw pipe from the process (the StreamRef is set with a stream you can write into for 'stdin' and read from for 'stdout' and 'stderr')

Inherit
Signature:

Do not redirect, or use normal process inheritance

UseStream(closeOnExit,stream)
Signature: bool * Stream

Redirect to the given stream (the stream is provided by the user and is written only for 'stdout' & 'stderr' and read only for 'stdin')