Module `Geojsone.Jsone`

val io_buffer_size : int

val pp : Format.formatter -> ('a, Format.formatter, unit) format -> 'a

val unsafe_byte : string -> int -> int

val unsafe_blit_from_string : 
  string ->
  int ->
  Cstruct.buffer ->
  int ->
  int ->
  unit

val unsafe_blit : string -> int -> Cstruct.t -> int -> int -> unit

val unsafe_set_byte : Cstruct.t -> int -> int -> unit

val ux_eoi : int

val ux_soi : int

val u_nl : int

val u_sp : int

val u_quot : int

val u_lbrack : int

val u_rbrack : int

val u_lbrace : int

val u_rbrace : int

val u_colon : int

val u_comma : int

val u_minus : int

val u_slash : int

val u_bslash : int

val u_rep : int

val must_escape : int -> bool

val is_digit : int -> bool

val is_hex_digit : int -> bool

val is_white : int -> bool

val is_val_sep : int -> bool

type lexeme = [

| `Null
| `Bool of bool
| `String of string
| `Float of float
| `Name of string
| `As
| `Ae
| `Os
| `Oe

]

val pp_lexeme : 
  Format.formatter ->
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  unit

type error = [

| `Illegal_BOM
| `Illegal_escape of [ `Not_hex_uchar of Uchar.t | `Not_esc_uchar of Uchar.t | `Not_lo_surrogate of int | `Lone_lo_surrogate of int | `Lone_hi_surrogate of int ]
| `Illegal_string_uchar of Uchar.t
| `Illegal_bytes of string
| `Illegal_literal of string
| `Illegal_number of string
| `Unclosed of [ `As | `Os | `String | `Comment ]
| `Expected of [ `Comment | `Value | `Name | `Name_sep | `Json | `Eoi | `Aval of bool | `Omem of bool ]

]

val err_bom : [> `Error of [> `Illegal_BOM ] ]

val err_not_hex : 
  int ->
  [> `Error of [> `Illegal_escape of [> `Not_hex_uchar of Uchar.t ] ] ]

val err_not_esc : 
  int ->
  [> `Error of [> `Illegal_escape of [> `Not_esc_uchar of Uchar.t ] ] ]

val err_not_lo : 
  'a ->
  [> `Error of [> `Illegal_escape of [> `Not_lo_surrogate of 'a ] ] ]

val err_lone_lo : 
  'a ->
  [> `Error of [> `Illegal_escape of [> `Lone_lo_surrogate of 'a ] ] ]

val err_lone_hi : 
  'a ->
  [> `Error of [> `Illegal_escape of [> `Lone_hi_surrogate of 'a ] ] ]

val err_str_char : int -> [> `Error of [> `Illegal_string_uchar of Uchar.t ] ]

val err_unclosed_string : [> `Error of [> `Unclosed of [> `String ] ] ]

val err_unclosed_arr : [> `Error of [> `Unclosed of [> `As ] ] ]

val err_unclosed_obj : [> `Error of [> `Unclosed of [> `Os ] ] ]

val err_number : 'a -> [> `Error of [> `Illegal_number of 'a ] ]

val err_literal : 'a -> [> `Error of [> `Illegal_literal of 'a ] ]

val err_exp_value : [> `Error of [> `Expected of [> `Value ] ] ]

val err_exp_name : [> `Error of [> `Expected of [> `Name ] ] ]

val err_exp_nsep : [> `Error of [> `Expected of [> `Name_sep ] ] ]

val err_exp_arr_fst : [> `Error of [> `Expected of [> `Aval of bool ] ] ]

val err_exp_arr_nxt : [> `Error of [> `Expected of [> `Aval of bool ] ] ]

val err_exp_obj_fst : [> `Error of [> `Expected of [> `Omem of bool ] ] ]

val err_exp_obj_nxt : [> `Error of [> `Expected of [> `Omem of bool ] ] ]

val err_exp_json : [> `Error of [> `Expected of [> `Json ] ] ]

val err_exp_eoi : [> `Error of [> `Expected of [> `Eoi ] ] ]

val pp_cp : Format.formatter -> int -> unit

val pp_uchar : Format.formatter -> Uchar.t -> unit

val pp_error : 
  Format.formatter ->
  [< `Expected of
       [< `Aval of bool
       | `Comment
       | `Eoi
       | `Json
       | `Name
       | `Name_sep
       | `Omem of bool
       | `Value ]
  | `Illegal_BOM
  | `Illegal_bytes of string
  | `Illegal_escape of
    [< `Lone_hi_surrogate of int
    | `Lone_lo_surrogate of int
    | `Not_esc_uchar of Uchar.t
    | `Not_hex_uchar of Uchar.t
    | `Not_lo_surrogate of int ]
  | `Illegal_literal of string
  | `Illegal_number of string
  | `Illegal_string_uchar of Uchar.t
  | `Unclosed of [< `As | `Comment | `Os | `String ] ] ->
  unit

type pos = int * int

type encoding = [

| `UTF_8
| `UTF_16
| `UTF_16BE
| `UTF_16LE

]

type src = unit -> Cstruct.t

type decode = [

| `Await
| `End
| `Lexeme of lexeme
| `Error of error

]

type uncut = [

| `Comment of [ `M | `S ] * string
| `White of string

]

val pp_decode : 
  Format.formatter ->
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Error of
    [< `Expected of
         [< `Aval of bool
         | `Comment
         | `Eoi
         | `Json
         | `Name
         | `Name_sep
         | `Omem of bool
         | `Value ]
    | `Illegal_BOM
    | `Illegal_bytes of string
    | `Illegal_escape of
      [< `Lone_hi_surrogate of int
      | `Lone_lo_surrogate of int
      | `Not_esc_uchar of Uchar.t
      | `Not_hex_uchar of Uchar.t
      | `Not_lo_surrogate of int ]
    | `Illegal_literal of string
    | `Illegal_number of string
    | `Illegal_string_uchar of Uchar.t
    | `Unclosed of [< `As | `Comment | `Os | `String ] ]
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string ]
  | `White of string ] ->
  unit

type decoder = {

u : Uutfe.decoder;
buf : Buffer.t;
mutable started : bool;
mutable uncut : bool;
mutable s_line : int;
mutable s_col : int;
mutable e_line : int;
mutable e_col : int;
mutable c : int;
mutable stack : [ `As of pos | `Os of pos ] list;
mutable next_name : bool;
mutable last_start : bool;

}

val baddc : decoder -> int -> unit

val badd : decoder -> unit

val buf : decoder -> string

val dpos : decoder -> int * int

val spos : decoder -> unit

val epos : decoder -> unit

val stack_range : decoder -> unit

val dpop : decoder -> unit

val ret_eoi : 'a -> [> `End ]

val readc : decoder -> unit

val r_ws : decoder -> unit

val r_white : decoder -> unit

val r_u_escape : int option -> int -> int -> decoder -> unit

val r_escape : decoder -> unit

val r_string : decoder -> unit

val r_float : 
  decoder ->
  [> `Error of [> `Illegal_number of string ]
  | `Lexeme of [> `Float of float ] ]

val r_literal : 
  decoder ->
  [> `Error of [> `Illegal_literal of string ]
  | `Lexeme of [> `Bool of bool | `Null ] ]

val r_value : 
  (decoder ->
    [> `Error of [> `Illegal_literal of string | `Illegal_number of string ]
    | `Lexeme of
      [> `As
      | `Bool of bool
      | `Float of float
      | `Null
      | `Os
      | `String of string ] ] as 'a) ->
  decoder ->
  'a

val discard_to : int -> int -> 'a -> decoder -> 'a

val r_arr_val : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Aval of bool | `Value ]
       | `Illegal_literal of string
       | `Illegal_number of string
       | `Unclosed of [> `As ] ]
  | `Lexeme of
    [> `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Null
    | `Os
    | `String of string ] ]

val nxmem : 'a -> decoder -> 'a

val r_obj_value : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Name_sep | `Value ]
       | `Illegal_literal of string
       | `Illegal_number of string ]
  | `Lexeme of
    [> `As
    | `Bool of bool
    | `Float of float
    | `Null
    | `Os
    | `String of string ] ]

val r_obj_name : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Name | `Omem of bool ] | `Unclosed of [> `Os ] ]
  | `Lexeme of [> `Name of string | `Oe ] ]

val r_end : decoder -> [> `End | `Error of [> `Expected of [> `Eoi ] ] ]

val r_lexeme : 
  decoder ->
  [> `End
  | `Error of
    [> `Expected of
         [> `Aval of bool | `Eoi | `Name | `Name_sep | `Omem of bool | `Value ]
    | `Illegal_literal of string
    | `Illegal_number of string
    | `Unclosed of [> `As | `Os ] ]
  | `Lexeme of
    [> `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string ] ]

val discard_to_white : decoder -> unit

val r_json : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Json ]
       | `Illegal_literal of string
       | `Illegal_number of string ]
  | `Lexeme of
    [> `As
    | `Bool of bool
    | `Float of float
    | `Null
    | `Os
    | `String of string ] ]

val r_start : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Json ]
       | `Illegal_BOM
       | `Illegal_literal of string
       | `Illegal_number of string ]
  | `Lexeme of
    [> `As
    | `Bool of bool
    | `Float of float
    | `Null
    | `Os
    | `String of string ] ]

val nln : [> `ASCII of Uchar.t ]

val decoder : ?encoding:??? -> Uutfe.src -> decoder

val decode_uncut : 
  decoder ->
  [> `Error of
       [> `Expected of [> `Json ]
       | `Illegal_BOM
       | `Illegal_literal of string
       | `Illegal_number of string ]
  | `Lexeme of
    [> `As
    | `Bool of bool
    | `Float of float
    | `Null
    | `Os
    | `String of string ] ]

val decode : decoder -> [> decode ]

val decoder_src : decoder -> Uutfe.src

val decoded_range : decoder -> (int * int) * (int * int)

val decoder_encoding : decoder -> [> `UTF_16 | `UTF_16BE | `UTF_16LE | `UTF_8 ]

val invalid_arg : ('a, Format.formatter, unit, 'b) format4 -> 'a

val invalid_bounds : int -> int -> 'a

val expect : 
  string ->
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Error of
    [< `Expected of
         [< `Aval of bool
         | `Comment
         | `Eoi
         | `Json
         | `Name
         | `Name_sep
         | `Omem of bool
         | `Value ]
    | `Illegal_BOM
    | `Illegal_bytes of string
    | `Illegal_escape of
      [< `Lone_hi_surrogate of int
      | `Lone_lo_surrogate of int
      | `Not_esc_uchar of Uchar.t
      | `Not_hex_uchar of Uchar.t
      | `Not_lo_surrogate of int ]
    | `Illegal_literal of string
    | `Illegal_number of string
    | `Illegal_string_uchar of Uchar.t
    | `Unclosed of [< `As | `Comment | `Os | `String ] ]
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string ]
  | `White of string ] ->
  'a

val expect_end : 
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  'a

val expect_mem_value : 
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  'a

val expect_arr_value_ae : 
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  'a

val expect_name_or_oe : 
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  'a

val expect_json : 
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Error of
    [< `Expected of
         [< `Aval of bool
         | `Comment
         | `Eoi
         | `Json
         | `Name
         | `Name_sep
         | `Omem of bool
         | `Value ]
    | `Illegal_BOM
    | `Illegal_bytes of string
    | `Illegal_escape of
      [< `Lone_hi_surrogate of int
      | `Lone_lo_surrogate of int
      | `Not_esc_uchar of Uchar.t
      | `Not_hex_uchar of Uchar.t
      | `Not_lo_surrogate of int ]
    | `Illegal_literal of string
    | `Illegal_number of string
    | `Illegal_string_uchar of Uchar.t
    | `Unclosed of [< `As | `Comment | `Os | `String ] ]
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string ]
  | `White of string ] ->
  'a

val expect_lend : 
  [> `As ] ->
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Error of
    [< `Expected of
         [< `Aval of bool
         | `Comment
         | `Eoi
         | `Json
         | `Name
         | `Name_sep
         | `Omem of bool
         | `Value ]
    | `Illegal_BOM
    | `Illegal_bytes of string
    | `Illegal_escape of
      [< `Lone_hi_surrogate of int
      | `Lone_lo_surrogate of int
      | `Not_esc_uchar of Uchar.t
      | `Not_hex_uchar of Uchar.t
      | `Not_lo_surrogate of int ]
    | `Illegal_literal of string
    | `Illegal_number of string
    | `Illegal_string_uchar of Uchar.t
    | `Unclosed of [< `As | `Comment | `Os | `String ] ]
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string ]
  | `White of string ] ->
  'a

type dst = Cstruct.t -> unit

type encode = [

| `Await
| `End
| `Lexeme of lexeme

]

type encoder = {

dst : dst;
minify : bool;
mutable encode_ : bool;
mutable started : bool;
mutable o : Cstruct.t;
mutable o_pos : int;
mutable o_max : int;
buf : Buffer.t;
mutable stack : [ `As | `Os ] list;
mutable nest : int;
mutable next_name : bool;
mutable last_start : bool;

}

val o_rem : encoder -> int

val dst : encoder -> Cstruct.t -> int -> int -> unit

val flush : encoder -> stop:bool -> unit

val writeb : int -> encoder -> unit

val writes : string -> int -> int -> encoder -> unit

val writebuf : int -> int -> encoder -> unit

val w_indent : encoder -> unit

val w_json_string : string -> encoder -> unit

val w_name : string -> encoder -> unit

val w_value : 
  in_obj:bool ->
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string ] ->
  encoder ->
  unit

val w_lexeme : 
  encoder ->
  [< `Ae
  | `As
  | `Bool of bool
  | `Float of float
  | `Name of string
  | `Null
  | `Oe
  | `Os
  | `String of string Ae Name Oe ] ->
  unit

val encode_ : 
  encoder ->
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string Ae Name Oe ]
  | `White of string ] ->
  unit

val encode_json : 
  encoder ->
  [< `Await
  | `Comment of [< `M | `S ] * string
  | `End
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string As Bool Float Null Os String ]
  | `White of string ] ->
  unit

val encoder : ?minify:??? -> dst -> encoder

val encode : 
  encoder ->
  [< `Await
  | `Comment of [< `M | `S ] * string & [< `M | `S ] * string
  | `End
  | `Lexeme of
    [< `Ae
    | `As
    | `Bool of bool
    | `Float of float
    | `Name of string
    | `Null
    | `Oe
    | `Os
    | `String of string Ae Name Oe ] & [< `Ae
                                       | `As
                                       | `Bool of bool
                                       | `Float of float
                                       | `Name of string
                                       | `Null
                                       | `Oe
                                       | `Os
                                       | `String of string ]
  | `White of string ] ->
  [> `Ok ]

val encoder_dst : encoder -> dst

val encoder_minify : encoder -> bool

module Manual : sig ... end

module Uncut : sig ... end

package geojsone

Module Geojsone.Jsone

Module `Geojsone.Jsone`