IDE.Utils.Tool
Description
Support for running external tools. Written mainly for GHCi but with | support for others in mind.
Documentation
data ToolOutput Source
Constructors
| ToolInput String | |
| ToolError String | |
| ToolOutput String | |
| ToolPrompt | |
| ToolExit ExitCode |
Instances
toolline :: ToolOutput -> StringSource
data ToolCommand Source
Constructors
| ToolCommand String ([ToolOutput] -> IO ()) |
Constructors
| ToolState | |
runTool :: FilePath -> [String] -> Maybe FilePath -> IO ([ToolOutput], ProcessHandle)Source
runTool' :: FilePath -> [String] -> Maybe FilePath -> IO ([ToolOutput], ProcessHandle)Source
executeCommand :: ToolState -> String -> ([ToolOutput] -> IO ()) -> IO ()Source
executeGhciCommand :: ToolState -> String -> ([ToolOutput] -> IO ()) -> IO ()Source
escapeQuotes :: String -> StringSource