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 [RSS] [faq],,,,
Dependencies base (>=4.8 && <4.13), bytestring (==0.10.*), megaparsec (>=6.5 && <7.0), parsec (>=3.1 && <4.0), process (==1.6.*), sexpr-parser [details]
License MIT
Copyright 2019 Richard Cook
Author Richard Cook
Revised Revision 3 made by rcook at 2019-02-08T03:51:43Z
Category Command Line
Home page
Uploaded by rcook at 2019-02-05T19:06:49Z
Distributions NixOS:
Executables sexpr-parser-z3-demo
Downloads 1800 total (22 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




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-

[back to package description]


S-expression parser in Haskell


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


MIT License