Copyright | (c) 2010 2011 Benedikt Schmidt |
---|---|
License | GPL v3 (see LICENSE) |
Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
Safe Haskell | None |
Language | Haskell98 |
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 -> ByteString #
ppMaude t
pretty prints the term t
for Maude.
ppTheory :: MaudeSig -> ByteString #
The term algebra and rewriting rules as a functional module in Maude.
parsing of Maude replies
parseUnifyReply :: MaudeSig -> ByteString -> Either String [MSubst] #
parseUnifyReply reply
takes a reply
to a unification query
returned by Maude and extracts the unifiers.
parseMatchReply :: MaudeSig -> ByteString -> Either String [MSubst] #
parseMatchReply reply
takes a reply
to a match query
returned by Maude and extracts the unifiers.
parseReduceReply :: MaudeSig -> ByteString -> Either String MTerm #
parseReduceReply l
parses a single solution returned by Maude.