Hackage :: [Package]

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

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

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.8 && <4.13), bytestring (>=0.10 && <0.11), megaparsec (>=6.5 && <7.0), parsec (>=3.1 && <4.0), process (>=1.6 && <1.7), sexpr-parser [details]
License MIT
Copyright 2019 Richard Cook
Author Richard Cook
Maintainer rcook@rcook.org
Revised Revision 3 made by rcook at 2019-02-08T03:51:43Z
Category Command Line
Home page https://github.com/rcook/sexpr-parser#readme
Uploaded by rcook at 2019-02-05T19:06:49Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables sexpr-parser-z3-demo
Downloads 2464 total (16 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for sexpr-parser-0.1.0.0

[back to package description]

sexpr-parser

S-expression parser in Haskell

Description

This is a Megaparsec-based parser for s-expression, heavily inspired by lispparser. I'm building this to parse SMT-LIB v2 output, so there.

Run Z3 demo

The Z3 demo parses SMT-LIB v2 output from Z3. The executable assumes that you have Z3 installed and available on your system search path:

stack build --fast --exec sexpr-parser-z3-demo

Licence

MIT License