package morbig

You can search for identifiers within the package.

in-package search v0.2.0

morbig
- Morbig
  - Aliases
  - Assignment
  - CST
  - CSTHelpers
    
    NameSet
  - CSTSerializers
  - CSTVisitors
  - Debug
  - Engine
    
    Lexer
    
    U
  - Errors
  - ExtMenhirLib
  - HereDocument
    
    Lexer
    
    U
  - JsonHelpers
  - Keyword
  - Name
  - Nesting
  - Options
  - Parser
    
    Incremental
    
    MenhirInterpreter
  - Prelexer
  - PrelexerState
    
    AtomBuffer
  - Pretoken
  - Pretokenizer
  - QuoteRemoval
  - RecursiveParser
  - Scripts
  - Token

Legend:
Library
Module
Module type
Parameter
Class
Class type

val current_items : 
  'a Parser.MenhirInterpreter.env ->
  Parser.MenhirInterpreter.item list

type 'a status =

| AcceptedNow of 'a
| Fine
| Wrong

val close : 'a Parser.MenhirInterpreter.checkpoint -> 'a status

val accepted_token : 
  'a Parser.MenhirInterpreter.checkpoint ->
  (Parser.MenhirInterpreter.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a status

val is_accepted_token : 
  'a Parser.MenhirInterpreter.checkpoint ->
  (Parser.MenhirInterpreter.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  bool

val accepted_raw_token : 
  'a Parser.MenhirInterpreter.checkpoint ->
  Parser.MenhirInterpreter.token ->
  'a status

val finished : 'a Parser.MenhirInterpreter.checkpoint -> bool

finished checkpoint is true if the current checkpoint can move the LR(1) automaton to an accepting state with no extra input.

type nonterminal =

| AnyN : 'a Parser.MenhirInterpreter.nonterminal -> nonterminal

nonterminal_production p returns the non terminal of p. The nonterminals of Menhir API are a too precisely typed for our needs. Hence, we introduce an extential type for weaken this precision.

val nonterminal_of_production : 
  Parser.MenhirInterpreter.production ->
  nonterminal

exception EmptyStack

type 'b top_symbol_processor = {

perform : 'a. ('a Parser.MenhirInterpreter.symbol * 'a) -> 'b;

}

val on_top_symbol : 
  'a Parser.MenhirInterpreter.env ->
  'b top_symbol_processor ->
  'b