package menhir

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

Signature

type state = T.state
type token = T.token
type semantic_value = T.semantic_value
exception Error
type env
type production = T.production
type !'a checkpoint = private
  1. | InputNeeded of env
  2. | Shifting of env * env * bool
  3. | AboutToReduce of env * production
  4. | HandlingError of env
  5. | Accepted of 'a
  6. | Rejected
val resume : 'a checkpoint -> 'a checkpoint
type supplier = unit -> token * Lexing.position * Lexing.position
val lexer_lexbuf_to_supplier : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
val loop : supplier -> 'a checkpoint -> 'a
val loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
val loop_test : (env -> 'accu -> 'accu) -> 'a checkpoint -> 'accu -> 'accu
val acceptable : 'a checkpoint -> token -> Lexing.position -> bool
type 'a lr1state = state
val number : 'a lr1state -> int
type element =
  1. | Element : 'a lr1state * 'a * Lexing.position * Lexing.position -> element
type stack = element General.stream
val stack : env -> stack
val positions : env -> Lexing.position * Lexing.position
val has_default_reduction : env -> bool
OCaml

Innovation. Community. Security.