package dolmen

  1. Overview
  2. Docs
A parser library

Install

Dune Dependency

Authors

Maintainers

Sources

dolmen-0.4.1.tar.gz
md5=55a97ff61dd8398e38570272ae7e3964
sha512=83f71037eb568d5449ff2d968cb50a0b105c9712e0bd29497d1f95683698f394860a11d4dee2a2a41163504e395ef068c3974901fca11894d671684fe438fc51

doc/dolmen.dimacs/Dolmen_dimacs/Make/Parser/index.html

Module Make.ParserSource

The Parser module for the language.

Main interface

Sourceexception Error

Exception raised by the parser when it encounters an error.

A function that parses an entire file, i.e until the end-of-file token, and return the list of parsed statements.

Sourceval input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement option

A function to parse a single statement. Reutnrs None if it encounters the end-of-file token. Used for incremental parsing.

Menhir incremental interface

Sourcemodule MenhirInterpreter : sig ... end
Sourcemodule Incremental : sig ... end
OCaml

Innovation. Community. Security.