parsec: Monadic parser combinators

[ bsd2, library, parsing ] [ Propose Tags ]

Parsec is designed from scratch as an industrial-strength parser library. It is simple, safe, well documented (on the package homepage), has extensive libraries, good error messages, and is fast. It is defined as a monad transformer that can be stacked on arbitrary monads, and it is also parametric in the input stream type.


[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] 2.0, 2.0.0.1, 2.1.0.0, 2.1.0.1, 3.0.0, 3.0.1, 3.1.0, 3.1.1, 3.1.2, 3.1.3, 3.1.4, 3.1.5, 3.1.6, 3.1.7, 3.1.8, 3.1.9, 3.1.10, 3.1.11, 3.1.12.0, 3.1.13.0, 3.1.14.0, 3.1.15.0, 3.1.15.1, 3.1.16.0, 3.1.16.1, 3.1.17.0
Change log CHANGES
Dependencies base (>=4 && <4.11), bytestring (<0.11), mtl (<2.3), text (>=0.2 && <1.3) [details]
License BSD-3-Clause
Author Daan Leijen <daan@microsoft.com>, Paolo Martini <paolo@nemail.it>
Maintainer Antoine Latter <aslatter@gmail.com>
Revised Revision 1 made by HerbertValerioRiedel at 2018-02-03T22:16:29Z
Category Parsing
Home page https://github.com/aslatter/parsec
Bug tracker https://github.com/aslatter/parsec/issues
Source repo head: git clone https://github.com/aslatter/parsec
Uploaded by AntoineLatter at 2016-05-13T03:05:25Z
Distributions Arch:3.1.15.0, Fedora:3.1.16.1, FreeBSD:3.1.9
Reverse Dependencies 929 direct, 13700 indirect [details]
Downloads 399676 total (444 in the last 30 days)
Rating 2.75 (votes: 17) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for parsec-3.1.11

[back to package description]

Parsec Build Status

A monadic parser combinator library, written by Daan Leijen. Parsec is designed from scratch as an industrial-strength parser library. It is simple, safe, well documented, has extensive libraries, good error messages, and is fast.

Some links:

By analyzing Parsec's reverse dependencies on Hackage we can find open source project that make use of Parsec. For example bibtex, ConfigFile, csv and hjson.

Getting started

This requires a working version of cabal and ghci, which are part of any modern installation of Haskell, such as Haskell Platform.

First install Parsec.

cabal install parsec

Below we show how a very simple parser that tests matching parentheses was made from GHCI (the interactive GHC environment), which we started with the ghci command).

Prelude> :m +Text.Parsec
Prelude Text.Parsec> let parenSet = char '(' >> many parenSet >> char ')'
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package array-0.5.0.0 ... linking ... done.
Loading package deepseq-1.3.0.2 ... linking ... done.
Loading package bytestring-0.10.4.0 ... linking ... done.
Loading package mtl-2.1.3.1 ... linking ... done.
Loading package text-1.1.1.3 ... linking ... done.
Loading package parsec-3.1.5 ... linking ... done.
Prelude Text.Parsec> let parens = (many parenSet >> eof) <|> eof
Prelude Text.Parsec> parse parens "" "()"
Right ()
Prelude Text.Parsec> parse parens "" "()(())"
Right ()
Prelude Text.Parsec> parse parens "" "("
Left (line 1, column 2):
unexpected end of input
expecting "(" or ")"

The Right () results indicate successes: the parentheses matched. The Left [...] result indicates a parse failure, and is detailed with an error message.

For a more thorough introduction to Parsec we recommend the links at the top of this README file.

Contributing

Issues (bugs, feature requests or otherwise feedback) may be reported in the Github issue tracker for this project.

Pull-requests are also welcome.

License

See the LICENSE file in the repository.