| Copyright | (c) Adrian Riesco, Facultad de Informatica UCM 2009 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | ariesco@fdi.ucm.es |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
Maude.Shellout
Description
Documentation
runMaude :: IO (String, Handle, Handle, Handle, ProcessHandle)
runs maude in an interactive subprocess
basicAnalysis :: Sign -> MaudeText -> IO (Sign, [Sentence])
performs the basic analysis, extracting the signature and the sentences of the given Maude text, that can use the signature accumulated thus far.
getAllSpec :: Handle -> String -> Bool -> IO String
extracts the Haskell representation of a Maude module or view
maudePutStrLn :: Handle -> String -> IO ()