package lrgrep

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

Module Lrgrep_interpreterSource

Sourcetype 'terminal config = {
  1. print_reduce_filter : bool;
  2. print_stack_items : bool;
}
Sourceval default_config : 'a config
Sourceval config : ?print_reduce_filter:bool -> ?print_stack_items:bool -> unit -> 'a config
Sourcetype ('a, 'p) with_position = 'a * 'p * 'p
Sourcetype ('lr1, 'terminal, 'p) parser_output = {
  1. stack : ('lr1, 'p) with_position list;
  2. remainder : ('terminal, 'p) with_position Seq.node;
}
Sourceval lift_sentence : 'a Kernel__Info.grammar -> string -> 'a sentence
Sourceval print_loc : (Lexing.position * Lexing.position) -> string
Sourceval print_items : 'a Kernel__Info.grammar -> int -> string -> 'a Kernel.Info.Item.n Utils.IndexSet.t -> unit
Sourceval print_lr1 : 'a Kernel__Info.grammar -> 'a Kernel.Info.Lr1.n Fix.Indexing.index -> string option
Sourceval print_stack : 'a Kernel__Info.grammar -> 'b config -> is_goto:bool -> 'a Kernel.Info.Lr1.n Fix.Indexing.index list -> unit
Sourceval filter_reductions : 'a Utils.IndexSet.t -> ('b, 'a Utils.IndexSet.t) Utils.IndexMap.t list -> ('b, 'a Utils.IndexSet.t) Utils.IndexMap.t list
Sourceval merge_reductions : (('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list * ('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list) -> ('a, 'b Utils.IndexSet.t) Utils.IndexMap.t list
Sourceval analyze_stack : 'a Kernel__Info.grammar -> ('a Kernel.Info.Lr1.n, 'a Kernel.Redgraph.reduction_closure) Fix.Indexing.vector -> 'b config -> stack: ('a Kernel.Info.Lr1.n Fix.Indexing.index * Lexing.position * Lexing.position) list -> remainder:'a Kernel.Info.Terminal.n Fix.Indexing.index list -> unit
Sourceval make_parser : 'g Kernel.Info.grammar -> 'g parser