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

Safe HaskellSafe
LanguageHaskell2010

Language.Clafer.IG.Process

Synopsis

Documentation

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