Portability | unknown |
---|---|
Stability | experimental |
Maintainer | lazar6@illinois.edu |
Safe Haskell | Safe-Infered |
Types shared between modules in the Language.Maude.Exec namespace
- data MaudeException
- data MaudeCommand
- data MaudeConf = MaudeConf {}
- data MaudeResult = MaudeResult {
- maudeStdout :: Text
- maudeXmlLog :: Text
- data RewriteResult = RewriteResult {}
- data SearchResult = SearchResult {}
- type SearchResults = [SearchResult]
- data Substitution = Substitution Term Term
- data MaudeStatistics = MaudeStatistics {}
Error handling
data MaudeException Source
MaudeFailure | Thrown when the |
LogToXmlFailure | Thrown when the log produced by Maude is not parseable as XML |
XmlToResultFailure String Element | Thrown when the XML can't be parsed/translated to one of the result types below |
Configuring Maude's execution
data MaudeCommand Source
Commands performed by Maude
Configuration of Maude's execution
Result types
data MaudeResult Source
Low-level Maude result
MaudeResult | |
|
data RewriteResult Source
High-level (e)rewrite result
RewriteResult | |
|
type SearchResults = [SearchResult]Source
Several search results
data Substitution Source
Search result substitution