ToySolver.Internal.ProcessUtil

Documentation

runProcessWithOutputCallback

Arguments

:: FilePath

Filename of the executable (see proc for details)

-> [String]

any arguments

-> String

standard input

-> (String -> IO ())

callback function which is called when a line is read from stdout

-> (String -> IO ())

callback function which is called when a line is read from stderr

-> IO ExitCode