| Safe Haskell | None |
|---|
Language.Clafer.IG.Process
- data Process
- executableDirectory :: IO FilePath
- waitFor :: Process -> IO ExitCode
- getContentsVerbatim :: Process -> IO String
- getMessage :: MonadIO m => Process -> m String
- readMessage :: (Read r, MonadIO m) => Process -> m r
- putMessage :: MonadIO m => Process -> String -> m ()
- pipeProcess :: FilePath -> [String] -> IO Process
Documentation
executableDirectory :: IO FilePathSource
getContentsVerbatim :: Process -> IO StringSource
Reads the entire output verbatim
getMessage :: MonadIO m => Process -> m StringSource
Read the message
readMessage :: (Read r, MonadIO m) => Process -> m rSource
putMessage :: MonadIO m => Process -> String -> m ()Source
Put the message
pipeProcess :: FilePath -> [String] -> IO ProcessSource
Start another process and return the piped std_in, std_out stream