package forester

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

Module Grammar.MenhirInterpreterSource

include MenhirLib.IncrementalEngine.INCREMENTAL_ENGINE with type token = token
Sourcetype token = token
Sourcetype production
Sourcetype 'a env
Sourcetype 'a checkpoint = private
  1. | InputNeeded of 'a env
  2. | Shifting of 'a env * 'a env * bool
  3. | AboutToReduce of 'a env * production
  4. | HandlingError of 'a env
  5. | Accepted of 'a
  6. | Rejected
Sourcetype strategy = [
  1. | `Legacy
  2. | `Simplified
]
Sourceval resume : ?strategy:strategy -> 'a checkpoint -> 'a checkpoint
Sourceval lexer_lexbuf_to_supplier : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> supplier
Sourceval loop : ?strategy:strategy -> supplier -> 'a checkpoint -> 'a
Sourceval loop_handle : ('a -> 'answer) -> ('a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
Sourceval loop_handle_undo : ('a -> 'answer) -> ('a checkpoint -> 'a checkpoint -> 'answer) -> supplier -> 'a checkpoint -> 'answer
Sourceval shifts : 'a checkpoint -> 'a env option
Sourcetype 'a lr1state
Sourceval number : _ lr1state -> int
Sourceval production_index : production -> int
Sourceval find_production : int -> production
Sourceval stack : 'a env -> stack
Sourceval top : 'a env -> element option
Sourceval pop_many : int -> 'a env -> 'a env option
Sourceval get : int -> 'a env -> element option
Sourceval current_state_number : 'a env -> int
Sourceval equal : 'a env -> 'a env -> bool
Sourceval env_has_default_reduction : 'a env -> bool
Sourceval state_has_default_reduction : _ lr1state -> bool
Sourceval pop : 'a env -> 'a env option
Sourceval force_reduction : production -> 'a env -> 'a env
Sourceval input_needed : 'a env -> 'a checkpoint
Sourcetype _ terminal =
  1. | T_error : unit terminal
  2. | T_XML_ELT_IDENT : string terminal
  3. | T_WHITESPACE : string terminal
  4. | T_VERBATIM : string terminal
  5. | T_TEXT : string terminal
  6. | T_SUBTREE : unit terminal
  7. | T_SCOPE : unit terminal
  8. | T_RSQUARE : unit terminal
  9. | T_RPAREN : unit terminal
  10. | T_RBRACE : unit terminal
  11. | T_PUT : unit terminal
  12. | T_PATCH : unit terminal
  13. | T_OPEN : unit terminal
  14. | T_OBJECT : unit terminal
  15. | T_NAMESPACE : unit terminal
  16. | T_LSQUARE : unit terminal
  17. | T_LPAREN : unit terminal
  18. | T_LET : unit terminal
  19. | T_LBRACE : unit terminal
  20. | T_IMPORT : unit terminal
  21. | T_IDENT : string terminal
  22. | T_HASH_LBRACE : unit terminal
  23. | T_HASH_HASH_LBRACE : unit terminal
  24. | T_GET : unit terminal
  25. | T_FUN : unit terminal
  26. | T_EXPORT : unit terminal
  27. | T_EOF : unit terminal
  28. | T_DEFAULT : unit terminal
  29. | T_DEF : unit terminal
  30. | T_DECL_XMLNS : string terminal
  31. | T_CALL : unit terminal
  32. | T_ALLOC : unit terminal
Sourcetype _ nonterminal =
  1. | N_xml_attr : ((string option * string) * Forester_core.Code.t) nonterminal
  2. | N_wstext : string nonterminal
  3. | N_ws_or_text : string nonterminal
  4. | N_ws_or_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  5. | N_ws_or_locate_head_node__ : Forester_core.Code.node Forester_core.Range.located list nonterminal
  6. | N_ws_list_method_decl_ : (string * Forester_core.Code.t) list nonterminal
  7. | N_ws_list_locate_head_node__ : Forester_core.Code.t nonterminal
  8. | N_textual_node : Forester_core.Code.node nonterminal
  9. | N_option_squares_wstext__ : string option nonterminal
  10. | N_option_squares_bvar__ : string list option nonterminal
  11. | N_method_decl : (string * Forester_core.Code.t) nonterminal
  12. | N_main : Forester_core.Code.t nonterminal
  13. | N_list_xml_attr_ : ((string option * string) * Forester_core.Code.t) list nonterminal
  14. | N_list_ws_or_text_ : string list nonterminal
  15. | N_list_ws_or_method_decl__ : (string * Forester_core.Code.t) list list nonterminal
  16. | N_list_ws_or_locate_head_node___ : Forester_core.Code.node Forester_core.Range.located list list nonterminal
  17. | N_list_squares_bvar_with_strictness__ : string list Forester_core.Base.binding list nonterminal
  18. | N_list_locate_textual_node__ : Forester_core.Code.t nonterminal
  19. | N_list_WHITESPACE_ : string list nonterminal
  20. | N_ident_with_method_calls : (string list * string list) nonterminal
  21. | N_ident : string list nonterminal
  22. | N_head_node : Forester_core.Code.node nonterminal
  23. | N_bvar_with_strictness : string list Forester_core.Base.binding nonterminal
  24. | N_bvar : string list nonterminal
  25. | N_arg : Forester_core.Code.t nonterminal
include MenhirLib.IncrementalEngine.INSPECTION with type 'a lr1state := 'a lr1state with type production := production with type 'a terminal := 'a terminal with type 'a nonterminal := 'a nonterminal with type 'a env := 'a env
include MenhirLib.IncrementalEngine.SYMBOLS with type 'a terminal := 'a terminal with type 'a nonterminal := 'a nonterminal
Sourcetype 'a symbol =
  1. | T : 'a terminal -> 'a symbol
  2. | N : 'a nonterminal -> 'a symbol
Sourcetype xsymbol =
  1. | X : 'a symbol -> xsymbol
Sourcetype item = production * int
Sourceval compare_terminals : _ terminal -> _ terminal -> int
Sourceval compare_nonterminals : _ nonterminal -> _ nonterminal -> int
Sourceval compare_symbols : xsymbol -> xsymbol -> int
Sourceval compare_productions : production -> production -> int
Sourceval compare_items : item -> item -> int
Sourceval incoming_symbol : 'a lr1state -> 'a symbol
Sourceval items : _ lr1state -> item list
Sourceval rhs : production -> xsymbol list
Sourceval nullable : _ nonterminal -> bool
Sourceval first : _ nonterminal -> _ terminal -> bool
Sourceval xfirst : xsymbol -> _ terminal -> bool
Sourceval foreach_terminal : (xsymbol -> 'a -> 'a) -> 'a -> 'a
Sourceval foreach_terminal_but_error : (xsymbol -> 'a -> 'a) -> 'a -> 'a
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct