package pratter

  1. Overview
  2. Docs
An extended Pratt parser

Install

Dune Dependency

github.com Readme BSD-3-Clause License Edit opam file Versions (7)

Authors

  1. G
    Gabriel Hondet

Maintainers

  1. L
    leirbag@sdfeu.org

Sources

pratter-1.1.tbz
sha256=f927997deab616132f04c03942cb78126e4538e29343cc454d5ddcc0a061f40e
sha512=f44a9f8214e970af83b158c15835959e7dd39521641ef2d05e63d1b8064046d9f29677515dc76498715aa30d579f49733364cea5f9f9895f9dff81d4a50d9105

Description

Pratter is a library that provides a parser that transforms streams of terms to applied terms. Terms may contain infix or prefix operators and native applications. The parser is based on the Pratt parsing algorithm and extended to handle term application and non associative operators.

Published: 23 Jan 2021

README

Pratter: A parser for terms with operators and applications

Pratter is a library that provides a parser that transforms streams of terms to applied terms. Terms may contain infix or prefix operators and applications. The parser is an extension of the Pratt parsing algorithm.

Examples can be seen in the tests inside the t/ folder.

Dependencies (2)

  1. dune >= "2.7"
  2. ocaml >= "4.02" & < "5.0.0"

Dev Dependencies (2)

  1. odoc with-doc
  2. alcotest with-test

Used by

None

Conflicts

None