What4.Utils.Process

Documentation

withProcessHandles

Arguments

:: FilePath

Path to process

-> [String]

Arguments to process

-> Maybe FilePath

Working directory if any.

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

Action to run with process; should wait for process to terminate before returning.

-> IO a

This runs a given external binary, providing the process handle and handles to input and output to the action. It takes care to terminate the process if any exception is thrown by the action.

resolveSolverPath :: FilePath -> IO FilePath

Utility function that runs a solver specified by the given config setting within a context. Errors can then be attributed to the solver.

findSolverPath :: ConfigOption (BaseStringType Unicode) -> Config -> IO FilePath

filterAsync :: SomeException -> Maybe SomeException

Filtering function for use with catchJust or tryJust that filters out asynch exceptions so they are rethrown instead of captured

startProcess

Arguments

:: FilePath

Path to executable

-> [String]

Command-line arguments

-> Maybe FilePath

Optional working directory

-> IO (Handle, Handle, Handle, ProcessHandle)

process stdin, process stdout, process stderr, process handle

Start a process connected to this one via pipes.

cleanupProcess :: (Handle, Handle, Handle, ProcessHandle) -> IO ExitCode

Close the connected process pipes and wait for the process to exit