| Portability | unknown |
|---|---|
| Stability | experimental |
| Maintainer | lazar6@illinois.edu |
| Safe Haskell | Safe-Infered |
Language.Maude.Exec.Types
Description
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
Constructors
| MaudeFailure | Thrown when the |
Fields | |
| 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
Constructors
| MaudeConf | |
Result types
data MaudeResult Source
Low-level Maude result
Constructors
| MaudeResult | |
Fields
| |
data RewriteResult Source
High-level (e)rewrite result
Constructors
| RewriteResult | |
Fields
| |
type SearchResults = [SearchResult]Source
Several search results
data MaudeStatistics Source
Statistics returned by Maude after a successful command
Constructors
| MaudeStatistics | |