sexpr-parser: Simple s-expression parser
Modules
[Index] [Quick Jump]
Downloads
- sexpr-parser-0.2.2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.1.2, 0.2.0.0, 0.2.1.0, 0.2.2.0 |
|---|---|
| Dependencies | base (>=4.9 && <5), bytestring (>=0.10 && <0.12), data-default (>=0.6 && <0.8), megaparsec (>=6.5 && <9.3), process (>=1.6 && <1.7), sexpr-parser [details] |
| License | MIT |
| Copyright | 2019 Richard Cook |
| Author | Richard Cook |
| Maintainer | rcook@rcook.org |
| Category | Command Line |
| Home page | https://github.com/rcook/sexpr-parser#readme |
| Uploaded | by rcook at 2022-03-11T22:41:56Z |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | sexpr-parser-z3-demo |
| Downloads | 2597 total (13 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2022-03-12 [all 1 reports] |
Readme for sexpr-parser-0.2.2.0
[back to package description]sexpr-parser
S-expression parser in Haskell
Description
This is a Megaparsec-based parser for s-expressions, heavily inspired by lispparser. I'm building this to parse SMT-LIB v2 output from Z3, so there.
Run Z3 demo
The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and the z3 executable available on your system search path:
stack build --fast --exec sexpr-parser-z3-demo