relit-reason 0.0.2 · OCaml Package

module I = Reason_parser.MenhirInterpreter

module Lexer_impl : sig ... end

type token = Reason_parser.token

type tracking_supplier = {

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

}

val lexbuf_to_supplier : Lexing.lexbuf -> tracking_supplier

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

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 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 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 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 : (Lexing.position -> 'a I.checkpoint) -> Lexing.lexbuf -> 'a

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

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

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

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

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

val skip_phrase : Lexing.lexbuf -> unit

val maybe_skip_phrase : Lexing.lexbuf -> unit

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

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

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