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.icnf/Dolmen_icnf/Make/index.html

Module Dolmen_icnf.MakeSource

Functor to generate a parser for the iCNF format.

Parameters

module T : Term with type location := L.t
module S : Statement with type location := L.t and type term := T.t

Signature

Sourcetype token

The type of tokens produced by the language lexer.

Sourcetype statement = S.t

The type of top-level directives recognised by the parser.

The Lexer module for the language.

The Parser module for the language.

Sourceval find : ?dir:string -> string -> string option

Helper function to find a file using a language specification. Separates directory and file because most include directives in languages are relative to the directory of the original file being processed.

Sourceval parse_file : string -> statement list

Parse the given file.

  • parameter dir:

    optional directory to use if the file path is relative.

Sourceval parse_input : [ `Stdin | `File of string ] -> (unit -> statement option) * (unit -> unit)

Incremental parsing. Given an input to read (either a file, or stdin), returns a generator that will incrementally parse the statements, together with a cleanup function to close file descriptors. In case of a syntax error, the current line will be completely consumed and parsing will restart at the beginning of the next line. Useful to process input from stdin, or even large files where it would be impractical to parse the entire file before processing it.

OCaml

Innovation. Community. Security.