| Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
|---|---|
| Safe Haskell | None |
Term.Maude.Parser
Description
Pretty printing and parsing of Maude terms and replies.
- ppMaude :: Term MaudeLit -> ByteString
- ppTheory :: MaudeSig -> ByteString
- parseUnifyReply :: MaudeSig -> ByteString -> Either String [MSubst]
- parseMatchReply :: MaudeSig -> ByteString -> Either String [MSubst]
- parseReduceReply :: MaudeSig -> ByteString -> Either String MTerm
pretty printing of terms for Maude
ppMaude :: Term MaudeLit -> ByteStringSource
ppMaude t pretty prints the term t for Maude.
ppTheory :: MaudeSig -> ByteStringSource
The term algebra and rewriting rules as a functional module in Maude.
parsing of Maude replies
parseUnifyReply :: MaudeSig -> ByteString -> Either String [MSubst]Source
parseUnifyReply reply takes a reply to a unification query
returned by Maude and extracts the unifiers.
parseMatchReply :: MaudeSig -> ByteString -> Either String [MSubst]Source
parseMatchReply reply takes a reply to a match query
returned by Maude and extracts the unifiers.
parseReduceReply :: MaudeSig -> ByteString -> Either String MTermSource
parseReduceReply l parses a single solution returned by Maude.