| Safe Haskell | Safe-Infered |
|---|
Termlib.Problem.ParseErrors
Documentation
data ParseError
Constructors
| forall i . MalformedTerm (Content i) | |
| forall i . MalformedRule (Content i) | |
| UnknownError String | |
| UnsupportedStrategy String | |
| SymbolNotInSignature String | |
| ParsecParseError ParseError | |
| UnknownFileError String | |
| ProblemNotFoundError String | |
| UnsupportedRewritingError String |
data ParseWarning
Instances