sexpr-parser: Simple s-expression parser

[ command-line, library, mit, program ] [ Propose Tags ]

This package provides a simple Megaparsec-based s-expression parser.


[Skip to Readme]
Versions [faq] 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.1.2, 0.2.0.0
Dependencies base (>=4.9 && <4.13), bytestring (==0.10.*), data-default (>=0.6 && <0.8), megaparsec (>=6.5 && <7.1), process (==1.6.*), 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 Thu Aug 22 03:36:14 UTC 2019
Distributions NixOS:0.2.0.0, Stackage:0.1.1.2
Executables sexpr-parser-z3-demo
Downloads 1059 total (201 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-08-22 [all 1 reports]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for sexpr-parser-0.2.0.0

[back to package description]

sexpr-parser

Travis CI Hackage Hackage dependencies Licence

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

MIT License