package dolmen

  1. Overview
  2. Docs
package dolmen
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Parse.SSource

Main interface

type token

The type of token consumed by the parser.

type statement

The type of top-level declarations returned by the parser.

exception Error

Exception raised by the parser when it encounters an error.

val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> statement list

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

val 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

module MenhirInterpreter : sig ... end
module Incremental : sig ... end