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 | |