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]

Downloads

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 LTSHaskell:0.2.2.0, NixOS:0.2.2.0, Stackage:0.2.2.0
Executables sexpr-parser-z3-demo
Downloads 2130 total (33 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

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