System.Process.ListLike

Re-export all symbols and instances of the process-extras package. Adds the Chunk type with a ProcessOutput instance, and a collectOutput function to turn a list of chunks into any instance of ProcessOutput, such as (ExitCode, String, String). This means you can have readCreateProcess output a list of Chunk, operate on it to do progress reporting, and finally convert it to the type that readProcessWithExitCode woud have returned.

Classes for process IO monad, output type, and creation type

class ListLikeIO text char => ListLikeProcessIO text char where

Process IO is based on the ListLikeIO class from the ListLike package

Minimal complete definition

forceOutput, readChunks

Methods

forceOutput :: text -> IO text

class (IsString text, Monoid text, ListLike text char) => ProcessText text char

class Monoid result => ProcessResult text result | result -> text where

Minimal complete definition

pidf, outf, errf, intf, codef

Methods

pidf :: ProcessHandle -> result

outf :: text -> result

errf :: text -> result

intf :: SomeException -> result

codef :: ExitCode -> result

Instances

ListLikeProcessIO a c => ProcessResult a [Chunk a]

Methods

pidf :: ProcessHandle -> [Chunk a]

outf :: a -> [Chunk a]

errf :: a -> [Chunk a]

intf :: SomeException -> [Chunk a]

codef :: ExitCode -> [Chunk a]

ListLikeProcessIO a c => ProcessResult a (ExitCode, [Chunk a])

Methods

pidf :: ProcessHandle -> (ExitCode, [Chunk a])

outf :: a -> (ExitCode, [Chunk a])

errf :: a -> (ExitCode, [Chunk a])

intf :: SomeException -> (ExitCode, [Chunk a])

codef :: ExitCode -> (ExitCode, [Chunk a])

ListLikeProcessIO text char => ProcessResult text (ExitCode, text, text)

Methods

pidf :: ProcessHandle -> (ExitCode, text, text)

outf :: text -> (ExitCode, text, text)

errf :: text -> (ExitCode, text, text)

intf :: SomeException -> (ExitCode, text, text)

codef :: ExitCode -> (ExitCode, text, text)

class ProcessMaker a where

Minimal complete definition

process, showProcessMakerForUser

Methods

process :: a -> IO (Handle, Handle, Handle, ProcessHandle)

showProcessMakerForUser :: a -> String

Instances

ProcessMaker CreateProcess

This is the usual maker argument to readCreateProcessLazy.

Methods

process :: CreateProcess -> IO (Handle, Handle, Handle, ProcessHandle)

showProcessMakerForUser :: CreateProcess -> String

ProcessMaker (CreateProcess, BufferMode, BufferMode)

Passing this to readCreateProcessLazy as the maker argument allows you to set the buffer mode of the process stdout and stderr handles just after the handles are created. These are set to BlockBuffering by default, but for running console commands LineBuffering is probably what you want.

Methods

process :: (CreateProcess, BufferMode, BufferMode) -> IO (Handle, Handle, Handle, ProcessHandle)

showProcessMakerForUser :: (CreateProcess, BufferMode, BufferMode) -> String

The generalized process runners

readCreateProcess :: (ProcessMaker maker, ProcessResult text result, ListLikeProcessIO text char) => maker -> text -> IO result

readCreateProcessStrict :: (ProcessMaker maker, ProcessResult text result, ListLikeProcessIO text char) => maker -> text -> IO result

readCreateProcessLazy :: (ProcessMaker maker, ProcessResult a b, ListLikeProcessIO a c) => maker -> a -> IO b

Like readCreateProcessStrict, but the output is read lazily.

readCreateProcessWithExitCode

Arguments

:: (ProcessMaker maker, ListLikeProcessIO text char)

=> maker

command and arguments to run

-> text

standard input

-> IO (ExitCode, text, text)

exitcode, stdout, stderr

readProcessWithExitCode

Arguments

:: ListLikeProcessIO text char

=> FilePath

command to run

-> [String]

any arguments

-> text

standard input

-> IO (ExitCode, text, text)

exitcode, stdout, stderr

Like readProcessWithExitCode, but with generalized input and output type. Aside from the usual text-like types, the output can be a list of Chunk a. This lets you process the chunks received from stdout and stderr lazil, in the order they are received, as well as the exit code. Utilities to handle Chunks are provided in System.Process.ListLike.

Utility functions based on showCommandForUser

showCreateProcessForUser :: CreateProcess -> String

System.Process utility functions.

showCmdSpecForUser :: CmdSpec -> String

The Chunk type

data Chunk a

This type is a concrete representation of the methods of class ProcessOutput. If you take your process output as this type you could, for example, echo all the output and then use collectOutput below to convert it to any other instance of ProcessOutput.

Constructors

ProcessHandle ProcessHandle

This will always come first, before any output or exit code.

Stdout a

Stderr a

Result ExitCode

Exception SomeException

Note that the instances below do not use this constructor.

Instances

ListLikeProcessIO a c => ProcessResult a [Chunk a]

Methods

pidf :: ProcessHandle -> [Chunk a]

outf :: a -> [Chunk a]

errf :: a -> [Chunk a]

intf :: SomeException -> [Chunk a]

codef :: ExitCode -> [Chunk a]

ListLikeProcessIO a c => ProcessResult a (ExitCode, [Chunk a])

Methods

pidf :: ProcessHandle -> (ExitCode, [Chunk a])

outf :: a -> (ExitCode, [Chunk a])

errf :: a -> (ExitCode, [Chunk a])

intf :: SomeException -> (ExitCode, [Chunk a])

codef :: ExitCode -> (ExitCode, [Chunk a])

Show a => Show (Chunk a)

Methods

showsPrec :: Int -> Chunk a -> ShowS

show :: Chunk a -> String

showList :: [Chunk a] -> ShowS

collectOutput :: ProcessResult a b => [Chunk a] -> b

Turn a [Chunk a] into any other instance of ProcessOutput. I usually use this after processing the chunk list to turn it into the (ExitCode, String, String) type returned by readProcessWithExitCode.

foldOutput

Arguments

:: (ProcessHandle -> r)

called when the process handle becomes known

-> (a -> r)

stdout handler

-> (a -> r)

stderr handler

-> (SomeException -> r)

exception handler

-> (ExitCode -> r)

exit code handler

-> Chunk a

-> r

writeOutput :: ListLikeIO a c => [Chunk a] -> IO [Chunk a]

Send Stdout chunks to stdout and Stderr chunks to stderr. Returns input list unmodified.

writeChunk :: ListLikeIO a c => Chunk a -> IO (Chunk a)

Re-exports from process

data CmdSpec :: *

Constructors

ShellCommand String

A command line to execute using the shell

RawCommand FilePath [String]

The name of an executable with a list of arguments

The FilePath argument names the executable, and is interpreted according to the platform's standard policy for searching for executables. Specifically:

• on Unix systems the execvp(3) semantics is used, where if the executable filename does not contain a slash (/) then the PATH environment variable is searched for the executable.
• on Windows systems the Win32 CreateProcess semantics is used. Briefly: if the filename does not contain a path, then the directory containing the parent executable is searched, followed by the current directory, then some standard locations, and finally the current PATH. An .exe extension is added if the filename does not already have an extension. For full details see the documentation for the Windows SearchPath API.

Instances

Eq CmdSpec

Methods

(==) :: CmdSpec -> CmdSpec -> Bool

(/=) :: CmdSpec -> CmdSpec -> Bool

Show CmdSpec

Methods

showsPrec :: Int -> CmdSpec -> ShowS

show :: CmdSpec -> String

showList :: [CmdSpec] -> ShowS

IsString CmdSpec

construct a ShellCommand from a string literal

Since: 1.2.1.0

Methods

fromString :: String -> CmdSpec

data CreateProcess :: *

Constructors

CreateProcess

Fields

• cmdspec :: CmdSpec

  Executable & arguments, or shell command. If cwd is Nothing, relative paths are resolved with respect to the current working directory. If cwd is provided, it is implementation-dependent whether relative paths are resolved with respect to cwd or the current working directory, so absolute paths should be used to ensure portability.

• cwd :: Maybe FilePath

  Optional path to the working directory for the new process

• env :: Maybe [(String, String)]

  Optional environment (otherwise inherit from the current process)

• std_in :: StdStream

  How to determine stdin

• std_out :: StdStream

  How to determine stdout

• std_err :: StdStream

  How to determine stderr

• close_fds :: Bool

  Close all file descriptors except stdin, stdout and stderr in the new process (on Windows, only works if std_in, std_out, and std_err are all Inherit)

• create_group :: Bool

  Create a new process group

• delegate_ctlc :: Bool

  Delegate control-C handling. Use this for interactive console processes to let them handle control-C themselves (see below for details).

  On Windows this has no effect.

  Since: 1.2.0.0

• detach_console :: Bool

  Use the windows DETACHED_PROCESS flag when creating the process; does nothing on other platforms.

  Since: 1.3.0.0

• create_new_console :: Bool

  Use the windows CREATE_NEW_CONSOLE flag when creating the process; does nothing on other platforms.

  Default: False

  Since: 1.3.0.0

• new_session :: Bool

  Use posix setsid to start the new process in a new session; does nothing on other platforms.

  Since: 1.3.0.0

• child_group :: Maybe GroupID

  Use posix setgid to set child process's group id; does nothing on other platforms.

  Default: Nothing

  Since: 1.4.0.0

• child_user :: Maybe UserID

  Use posix setuid to set child process's user id; does nothing on other platforms.

  Default: Nothing

  Since: 1.4.0.0

• use_process_jobs :: Bool

  On Windows systems this flag indicates that we should wait for the entire process tree to finish before unblocking. On POSIX systems this flag is ignored.

  Default: False

  Since: 1.5.0.0

Instances

Eq CreateProcess

Methods

(==) :: CreateProcess -> CreateProcess -> Bool

(/=) :: CreateProcess -> CreateProcess -> Bool

Show CreateProcess

Methods

showsPrec :: Int -> CreateProcess -> ShowS

show :: CreateProcess -> String

showList :: [CreateProcess] -> ShowS

ProcessMaker CreateProcess

This is the usual maker argument to readCreateProcessLazy.

Methods

process :: CreateProcess -> IO (Handle, Handle, Handle, ProcessHandle)

showProcessMakerForUser :: CreateProcess -> String

ProcessMaker (CreateProcess, BufferMode, BufferMode)

Passing this to readCreateProcessLazy as the maker argument allows you to set the buffer mode of the process stdout and stderr handles just after the handles are created. These are set to BlockBuffering by default, but for running console commands LineBuffering is probably what you want.

Methods

process :: (CreateProcess, BufferMode, BufferMode) -> IO (Handle, Handle, Handle, ProcessHandle)

showProcessMakerForUser :: (CreateProcess, BufferMode, BufferMode) -> String

proc :: FilePath -> [String] -> CreateProcess

Construct a CreateProcess record for passing to createProcess, representing a raw command with arguments.

See RawCommand for precise semantics of the specified FilePath.

shell :: String -> CreateProcess

Construct a CreateProcess record for passing to createProcess, representing a command to be passed to the shell.

showCommandForUser :: FilePath -> [String] -> String

Given a program p and arguments args, showCommandForUser p args returns a string suitable for pasting into /bin/sh (on Unix systems) or CMD.EXE (on Windows).

Orphan instances

Show ProcessHandle

Methods

showsPrec :: Int -> ProcessHandle -> ShowS

show :: ProcessHandle -> String

showList :: [ProcessHandle] -> ShowS

ListLikeProcessIO String Char

Like readProcessWithExitCode that takes a CreateProcess.

Methods

forceOutput :: String -> IO String

readChunks :: Handle -> IO [String]

ProcessText String Char