Read chunks of bytes from standard input

The chunks are not necessarily aligned to line boundaries

Read chunks of bytes from a file

The chunks are not necessarily aligned to line boundaries

Read chunks of bytes from a Handle

The chunks are not necessarily aligned to line boundaries

Stream chunks of bytes to standard output

The chunks are not necessarily aligned to line boundaries

Stream chunks of bytes to a file

The chunks do not need to be aligned to line boundaries

Stream chunks of bytes to a Handle

The chunks do not need to be aligned to line boundaries

Append chunks of bytes to append to a file

The chunks do not need to be aligned to line boundaries

Stream chunks of bytes to standard error

The chunks do not need to be aligned to line boundaries

Read in a stream's contents strictly

Compress a stream using zlib

Note that this can decompress streams that are the concatenation of multiple compressed streams (just like gzip)

>>> let compressed = select [ "ABC", "DEF" ] & compress 0 defaultWindowBits
>>> compressed & decompress defaultWindowBits & view
"ABCDEF"
>>> (compressed <|> compressed) & decompress defaultWindowBits & view
"ABCDEF"
"ABCDEF"

Decompress a stream using zlib (just like the gzip command)

This specifies the size of the compression window. Larger values of this parameter result in better compression at the expense of higher memory usage.

The compression window size is the value of the the window bits raised to the power 2. The window bits must be in the range 9..15 which corresponds to compression window sizes of 512b to 32Kb. The default is 15 which is also the maximum size.

The total amount of memory used depends on the window bits and the MemoryLevel. See the MemoryLevel for the details.

The default WindowBits is 15 which is also the maximum size.

Encode a stream of bytes as UTF8 Text

Decode a stream of bytes as UTF8 Text

NOTE: This function will throw a pure exception (i.e. an error) if UTF8 decoding fails (mainly due to limitations in the text package's stream decoding API)

Run a command using execvp, retrieving the exit code

The command inherits stdout and stderr for the current process

Run a command line using the shell, retrieving the exit code

This command is more powerful than proc, but highly vulnerable to code injection if you template the command line with untrusted input

The command inherits stdout and stderr for the current process

This function is identical to proc except this throws ProcFailed for non-zero exit codes

This function is identical to shell except this throws ShellFailed for non-zero exit codes

Run a command using execvp, streaming stdout as chunks of ByteString

The command inherits stderr for the current process

Run a command line using the shell, streaming stdout as chunks of ByteString

This command is more powerful than inproc, but highly vulnerable to code injection if you template the command line with untrusted input

The command inherits stderr for the current process

Run a command using the shell, streaming stdout and stderr as chunks of ByteString. Chunks from stdout are wrapped in Right and chunks from stderr are wrapped in Left.

Throws an ExitCode exception if the command returns a non-zero exit code

Run a command line using the shell, streaming stdout and stderr as chunks of ByteString. Chunks from stdout are wrapped in Right and chunks from stderr are wrapped in Left.

This command is more powerful than inprocWithErr, but highly vulnerable to code injection if you template the command line with untrusted input

Throws an ExitCode exception if the command returns a non-zero exit code

Run a command using execvp, retrieving the exit code and stdout as a non-lazy blob of Text

The command inherits stderr for the current process

Run a command line using the shell, retrieving the exit code and stdout as a non-lazy blob of Text

This command is more powerful than proc, but highly vulnerable to code injection if you template the command line with untrusted input

The command inherits stderr for the current process

Run a command using execvp, retrieving the exit code, stdout, and stderr as a non-lazy blob of Text

Run a command line using the shell, retrieving the exit code, stdout, and stderr as a non-lazy blob of Text

This command is more powerful than proc, but highly vulnerable to code injection if you template the command line with untrusted input

system generalizes shell and proc by allowing you to supply your own custom CreateProcess. This is for advanced users who feel comfortable using the lower-level process API

stream generalizes inproc and inshell by allowing you to supply your own custom CreateProcess. This is for advanced users who feel comfortable using the lower-level process API

Throws an ExitCode exception if the command returns a non-zero exit code

streamWithErr generalizes inprocWithErr and inshellWithErr by allowing you to supply your own custom CreateProcess. This is for advanced users who feel comfortable using the lower-level process API

Throws an ExitCode exception if the command returns a non-zero exit code

systemStrict generalizes shellStrict and procStrict by allowing you to supply your own custom CreateProcess. This is for advanced users who feel comfortable using the lower-level process API

systemStrictWithErr generalizes shellStrictWithErr and procStrictWithErr by allowing you to supply your own custom CreateProcess. This is for advanced users who feel comfortable using the lower-level process API