sexpr-parser
Simple s-expression parser https://github.com/rcook/sexpr-parser#readme
| Version on this page: | 0.1.1.2@rev:3 |
| LTS Haskell 14.17: | 0.1.1.2@rev:3 |
| Stackage Nightly 2019-09-21: | 0.2.0.0 |
| Latest on Hackage: | 0.2.0.0 |
Maintained by rcook@rcook.org
Module documentation for 0.1.1.2
This version can be pinned in stack with:
sexpr-parser-0.1.1.2@sha256:e41930091ed1c8ccb026d2ad55efcc76306b8de833216b68137f08a08d3d606b,1637sexpr-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
Licence
Depends on 5 packages(full list with versions):
Used by 1 package in lts-14.16(full list with versions):
comments powered byDisqus