Piqi_json_parser (u.49397b5459aa596b50d3ef94d38a48ad.piqilib.0.6.16.doc.piqilib.Piqi_json

Sourcemodule C = Piqi_common

Sourcetype json = Piqi_json_type.json

Sourcemodule Lexing : sig ... end

Sourcetype lexer_state = {

buf : Buffer.t;
mutable lnum : int;
mutable bol : int;
mutable fname : string option;
mutable utf8_delta : int;
mutable loc : Piqloc.loc list;

}

Sourceval location : lexer_state -> Lexing.lexbuf -> string * int * int

Sourceval addloc : lexer_state -> Lexing.lexbuf -> unit

Sourceval custom_error : string -> lexer_state -> Lexing.lexbuf -> 'a

Sourceval lexer_error : string -> lexer_state -> Lexing.lexbuf -> 'a

Sourceval parse_int64 : string -> [> `Int of int64 | `Uint of int64 ]

Source

val make_int : 
  string ->
  lexer_state ->
  Lexing.lexbuf ->
  [> `Int of int64 | `Uint of int64 ]

Sourceval parse_float : string -> lexer_state -> Lexing.lexbuf -> float

Sourceval set_file_name : lexer_state -> string option -> unit

Sourceval newline : lexer_state -> Lexing.lexbuf -> unit

Sourceval utf8_length : string -> int -> int -> int

Source

val check_adjust_utf8 : 
  lexer_state ->
  Lexing.lexbuf ->
  string ->
  int ->
  int ->
  unit

Sourceval add_lexeme : lexer_state -> Lexing.lexbuf -> unit

Sourceval map_lexeme : (bytes -> int -> int -> 'a) -> Lexing.lexbuf -> 'a

Sourceexception End_of_array

Sourceexception End_of_object

Sourceval __ocaml_lex_tables : Lexing.lex_tables

Source

val read_json : 
  lexer_state ->
  Lexing.lexbuf ->
  [> `Assoc of (string * 'a) list
  | `Bool of bool
  | `Float of float
  | `Floatlit of string
  | `Int of int64
  | `Intlit of string
  | `List of 'a list
  | `Null of unit
  | `String of string
  | `Stringlit of string
  | `Uint of int64 ] as 'a

Source

val __ocaml_lex_read_json_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  [> `Assoc of (string * 'a) list
  | `Bool of bool
  | `Float of float
  | `Floatlit of string
  | `Int of int64
  | `Intlit of string
  | `List of 'a list
  | `Null of unit
  | `String of string
  | `Stringlit of string
  | `Uint of int64 ] as 'a

Sourceval finish_string : lexer_state -> Lexing.lexbuf -> string

Source

val __ocaml_lex_finish_string_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  string

Sourceval finish_escaped_char : lexer_state -> Lexing.lexbuf -> unit

Source

val __ocaml_lex_finish_escaped_char_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval finish_stringlit : lexer_state -> Lexing.lexbuf -> string

Source

val __ocaml_lex_finish_stringlit_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  string

Sourceval read_eof : Lexing.lexbuf -> bool

Sourceval __ocaml_lex_read_eof_rec : Lexing.lexbuf -> int -> bool

Sourceval read_space : lexer_state -> Lexing.lexbuf -> unit

Sourceval __ocaml_lex_read_space_rec : lexer_state -> Lexing.lexbuf -> int -> unit

Sourceval read_ident : lexer_state -> Lexing.lexbuf -> string

Sourceval __ocaml_lex_read_ident_rec : lexer_state -> Lexing.lexbuf -> int -> string

Sourceval read_array_end : Lexing.lexbuf -> unit

Sourceval __ocaml_lex_read_array_end_rec : Lexing.lexbuf -> int -> unit

Sourceval read_array_sep : lexer_state -> Lexing.lexbuf -> unit

Source

val __ocaml_lex_read_array_sep_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval read_object_end : Lexing.lexbuf -> unit

Sourceval __ocaml_lex_read_object_end_rec : Lexing.lexbuf -> int -> unit

Sourceval read_object_sep : lexer_state -> Lexing.lexbuf -> unit

Source

val __ocaml_lex_read_object_sep_rec : 
  lexer_state ->
  Lexing.lexbuf ->
  int ->
  unit

Sourceval read_colon : lexer_state -> Lexing.lexbuf -> unit

Sourceval __ocaml_lex_read_colon_rec : lexer_state -> Lexing.lexbuf -> int -> unit

Sourceval finish : lexer_state -> Lexing.lexbuf -> unit

Source

val init_lexer : 
  ?buf:Buffer.t ->
  ?fname:string ->
  ?lnum:int ->
  unit ->
  lexer_state

Source

val save_locations : 
  lexer_state ->
  ([< `Assoc of ('b * 'a) list
   | `Bool of 'c
   | `Float of 'd
   | `Floatlit of 'e
   | `Int of 'f
   | `Intlit of 'g
   | `List of 'a list
   | `Null of unit
   | `String of 'h
   | `Stringlit of 'i
   | `Uint of 'j ] as 'a) ->
  unit

Source

val read_next : 
  (lexer_state * Lexing.lexbuf) ->
  ([> `Assoc of (string * 'a) list
   | `Bool of bool
   | `Float of float
   | `Floatlit of string
   | `Int of int64
   | `Intlit of string
   | `List of 'a list
   | `Null of unit
   | `String of string
   | `Stringlit of string
   | `Uint of int64 ] as 'a)
    option

Source

val read_all : 
  (lexer_state * Lexing.lexbuf) ->
  ([> `Assoc of (string * 'a) list
   | `Bool of bool
   | `Float of float
   | `Floatlit of string
   | `Int of int64
   | `Intlit of string
   | `List of 'a list
   | `Null of unit
   | `String of string
   | `Stringlit of string
   | `Uint of int64 ] as 'a)
    list

Source

val init_from_string : 
  ?buf:Buffer.t ->
  ?fname:string ->
  ?lnum:int ->
  string ->
  lexer_state * Lexing.lexbuf

Source

val init_from_channel : 
  ?buf:Buffer.t ->
  ?fname:string ->
  ?lnum:int ->
  in_channel ->
  lexer_state * Lexing.lexbuf