piqilib 0.6.16 · OCaml Package

module C = Piqi_common

type json = Piqi_json_type.json

module Lexing : sig ... end

type lexer_state = {

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

}

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

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

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

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

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

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

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

val set_file_name : lexer_state -> string option -> unit

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

val utf8_length : string -> int -> int -> int

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

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

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

exception End_of_array

exception End_of_object

val __ocaml_lex_tables : Lexing.lex_tables

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

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

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

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

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

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

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

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

val read_eof : Lexing.lexbuf -> bool

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

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

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

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

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

val read_array_end : Lexing.lexbuf -> unit

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

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

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

val read_object_end : Lexing.lexbuf -> unit

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

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

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

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

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

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

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

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

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

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

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

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