Module Oq.QuerySource

Sourcemodule Ast : sig ... end
Sourcetype error = {
  1. message : string;
  2. position : int;
}
Sourceexception Parse_failure of error
Sourcetype state = {
  1. query : string;
  2. length : int;
  3. mutable index : int;
}
Sourceval make_state : string -> state
Sourceval is_eof : state -> bool
Sourceval peek_char : state -> char option
Sourceval current_position : state -> int
Sourceval failf : state -> ('a, unit, string, 'b) format4 -> 'a
Sourceval char_at : state -> int -> char option
Sourceval advance : state -> unit
Sourceval is_identifier_start : char -> bool
Sourceval is_identifier_char : char -> bool
Sourceval is_digit : char -> bool
Sourceval is_whitespace : char -> bool
Sourceval skip_whitespace : state -> unit
Sourceval consume_char : state -> Core.Char.t -> bool
Sourceval expect_char : state -> Core.Char.t -> unit
Sourceval parse_identifier : state -> string
Sourceval parse_string_literal : state -> string
Sourceval try_parse_signed_int : state -> int option
Sourceval parse_number_literal : state -> Ast.expr
Sourceval try_consume_keyword : state -> Core.String.t -> bool
Sourceval try_parse_comparison_op : state -> Ast.comparison_op option
Sourceval parse_expr : state -> Ast.expr
Sourceval parse_expr_arg_list : state -> Ast.expr list
Sourceval parse_path : state -> Ast.expr
Sourceval parse_predicate : state -> Ast.predicate
Sourceval parse_disjunction : state -> Ast.predicate
Sourceval parse_conjunction : state -> Ast.predicate
Sourceval parse_comparison : state -> Ast.predicate
Sourceval parse_selector_arg : state -> Ast.selector_arg
Sourceval parse_selector_args : state -> Ast.selector_arg list
Sourceval selector_set : Core.String.Set.t
Sourceval regex_flag_set : Core.Char.Set.t
Sourceval validate_regex_pattern_string : state -> string -> unit
Sourceval arg_to_string : Ast.selector_arg -> string
Sourceval expect_string_literal_arg : state -> string -> int -> Ast.selector_arg -> string
Sourceval expect_int_literal_arg : state -> string -> int -> Ast.selector_arg -> int
Sourceval expect_span_arg : state -> string -> int -> Ast.selector_arg -> int * int
Sourceval ensure_no_args : state -> string -> 'a list -> unit
Sourceval ensure_one_arg : state -> string -> 'a list -> unit
Sourceval ensure_zero_or_one_arg : state -> string -> 'a list -> unit
Sourceval validate_selector_args : state -> string -> Ast.selector_arg list -> unit
Sourceval parse_selector_stage : state -> Ast.atom_stage
Sourceval parse_function_stage : state -> Ast.atom_stage
Sourceval parse_index_or_slice_postfix : state -> Ast.postfix
Sourceval parse_field_postfix : state -> Ast.postfix
Sourceval parse_postfixes : state -> Ast.postfix list
Sourceval parse_pipe_stage : state -> Ast.stage
Sourceval parse : string -> (Ast.stage list, error) Core._result
Sourceval parse_exn : string -> Ast.stage list