reason 3.4.0 · OCaml Package

module I = Reason_parser.MenhirInterpreter

module Lexer_impl : sig ... end

type token = Reason_parser.token

type tracking_supplier = {

mutable last_token : (token * Stdlib.Lexing.position * Stdlib.Lexing.position) option;
get_token : unit -> token * Stdlib.Lexing.position * Stdlib.Lexing.position;

}

val lexbuf_to_supplier : Stdlib.Lexing.lexbuf -> tracking_supplier

val read : 
  tracking_supplier ->
  token * Stdlib.Lexing.position * Stdlib.Lexing.position

val last_token : tracking_supplier -> token

val last_token_loc : tracking_supplier -> Migrate_parsetree.Ast_404.Location.t

val stack : 'a I.checkpoint -> I.stack

val state : 'a I.checkpoint -> int

val normalize_checkpoint : 'a I.checkpoint -> 'a I.checkpoint

val offer_normalize_many : 
  'a I.checkpoint ->
  (I.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position)
    list ->
  'a I.checkpoint option

val try_inserting_semi_on : Reason_parser.token -> bool

val try_inserting_semi : 
  'a I.checkpoint ->
  (I.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a I.checkpoint option

val try_inserting_label_on : 
  Reason_parser.token ->
  Reason_parser.token option * bool

val try_inserting_equal_unary : 
  'a I.checkpoint ->
  ('b * MenhirLib.IncrementalEngine.position * 'c) ->
  optional:bool ->
  I.token ->
  'a I.checkpoint option

val try_inserting_postfix : 
  'a I.checkpoint ->
  string ->
  (I.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a I.checkpoint option

val offer_normalize : 
  'a I.checkpoint ->
  (I.token
   * MenhirLib.IncrementalEngine.position
   * MenhirLib.IncrementalEngine.position) ->
  'a I.checkpoint

val commit_invalid_docstrings : (string * Location.t) list -> unit

val custom_error : tracking_supplier -> 'a I.env -> 'b

val handle_other : tracking_supplier -> 'a I.checkpoint -> 'a

val handle_inputs_needed : 
  tracking_supplier ->
  ((string * Migrate_parsetree.Ast_404.Location.t) list * 'a I.checkpoint) list ->
  'a

val initial_run : 
  (Stdlib.Lexing.position -> 'a I.checkpoint) ->
  Stdlib.Lexing.lexbuf ->
  'a

val implementation : Stdlib.Lexing.lexbuf -> Ast_404.Parsetree.structure

val interface : Stdlib.Lexing.lexbuf -> Ast_404.Parsetree.signature

val core_type : Stdlib.Lexing.lexbuf -> Ast_404.Parsetree.core_type

val toplevel_phrase : Stdlib.Lexing.lexbuf -> Ast_404.Parsetree.toplevel_phrase

val use_file : Stdlib.Lexing.lexbuf -> Ast_404.Parsetree.toplevel_phrase list

val skip_phrase : Stdlib.Lexing.lexbuf -> unit

val maybe_skip_phrase : Stdlib.Lexing.lexbuf -> unit

val safeguard_parsing : Stdlib.Lexing.lexbuf -> (unit -> 'a) -> 'a

val format_interface_with_comments : 
  (Ast_404.Parsetree.signature * Reason_comment.t list) ->
  Stdlib.Format.formatter ->
  unit

val format_implementation_with_comments : 
  (Ast_404.Parsetree.structure * Reason_comment.t list) ->
  Stdlib.Format.formatter ->
  unit

package reason