claferIG-0.4.3: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellSafe
LanguageHaskell2010

Language.Clafer.IG.Process

Synopsis

Documentation

data Process Source

executableDirectory :: IO FilePath Source

waitFor :: Process -> IO ExitCode Source

Wait until the process terminates

getContentsVerbatim :: Process -> IO String Source

Reads the entire output verbatim

getMessage :: MonadIO m => Process -> m String Source

Read the message

readMessage :: (Read r, MonadIO m) => Process -> m r Source

putMessage :: MonadIO m => Process -> String -> m () Source

Put the message

pipeProcess :: FilePath -> [String] -> IO Process Source

Start another process and return the piped std_in, std_out stream