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
Dependencies base (==4.12.*), bytestring (==0.10.*), megaparsec (==7.0.*), parsec (>=3.1 && <4.0), process (==1.6.*), sexpr-parser [details]
License MIT
Copyright 2019 Richard Cook
Author Richard Cook
Maintainer rcook@rcook.org
Revised Revision 3 made by rcook at Fri Feb 8 03:58:12 UTC 2019
Category Command Line
Home page https://github.com/rcook/sexpr-parser#readme
Uploaded by rcook at Tue Feb 5 21:24:05 UTC 2019
Distributions NixOS:0.1.1.2, Stackage:0.1.1.2
Executables sexpr-parser-z3-demo
Downloads 356 total (85 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

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

For package maintainers and hackage trustees


Readme for sexpr-parser-0.1.1.0

[back to package description]

sexpr-parser

Travis branch Hackage Licence

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