piqilib 0.6.15 · OCaml Package

module C = Piqi_common

exception EOF

type obj =

| Piqtype of string
| Typed_piqobj of Piqobj.obj
| Piqobj of Piqobj.obj
| Piqi of C.T.piqi

val unprocessed_piqi_list : Piqi_db.Piqitable.M.key list Stdlib.ref

val process_unprocessed_piqi : unit -> unit

val pre_process_piqi : 
  fname:string ->
  ?ast:Piqi.C.piq_ast ->
  C.P.t ->
  Piqi.C.T.piqi

val default_piqtype : Piqi_db.C.T.piqtype option Stdlib.ref

val check_piqtype : string -> unit

val find_piqtype : ?check:bool -> string -> Piqi_db.C.T.piqtype

val process_default_piqtype : ?check:bool -> string -> unit

val get_current_piqtype : 
  Piqi_db.C.T.piqtype option ->
  'a ->
  Piqi_db.C.T.piqtype

val read_piq_ast : 
  skip_trailing_comma:bool ->
  (string * (Piq_parser.L.token * (int * int)) Stdlib.Stream.t) ->
  Piqi_db.C.T.piqtype option ->
  C.piq_ast

val piqi_of_piq : string -> Piqobj_of_piq.C.piq_ast -> Piqi.C.T.piqi

val load_piq_from_ast : C.T.piqtype option -> Piqobj_of_piq.C.piq_ast -> obj

val load_piq : 
  C.T.piqtype option ->
  ?skip_trailing_comma:bool ->
  (string * (Piq_parser.L.token * (int * int)) Stdlib.Stream.t) ->
  obj

val original_piqi : C.P.t -> C.P.t

val piqi_ast_to_piq : Piqi_pp.C.piq_ast -> [> `typed of Piq_ast.Typed.t ]

val piqi_to_piq : C.P.t -> [> `typed of Piq_ast.Typed.t ]

val gen_piq : ?preserve_loc:bool -> obj -> Piqobj_to_piq.C.piq_ast

val write_piq_ast : 
  (Piq_ast.Piq_ast.ast -> unit) ->
  Piq_ast.Piq_ast.ast ->
  unit

val to_piq_channel : Stdlib.out_channel -> obj -> unit

val to_piq_string : obj -> string

val read_pib_field : C.Piqirun.IBuf.t -> int * C.Piqirun.t

val piqtypes : 
  (Piqi_impl_piqi.Piqi_impl_piqi.uint * Piqi_db.C.T.piqtype) list Stdlib.ref

val add_piqtype : 
  Piqi_impl_piqi.Piqi_impl_piqi.uint ->
  Piqi_db.C.T.piqtype ->
  unit

val find_piqtype_by_code : 
  Piqi_impl_piqi.Piqi_impl_piqi.uint ->
  Piqi_db.C.T.piqtype

val piqobj_of_protobuf : 
  Piqobj_of_protobuf.C.T.piqtype ->
  Piqobj_of_protobuf.C.Piqirun.t ->
  Piqobj.obj

val piqobj_to_protobuf : 
  int ->
  Piqobj.obj ->
  Piqobj_to_protobuf.C.Piqirun.OBuf.t

val process_pib_piqtype : Piqi_impl_piqi.Piqi_impl_piqi.uint -> string -> unit

val piqi_of_pib : Piqobj_of_protobuf.C.Piqirun.t -> Piqi.C.T.piqi

val pib_typehint_code : int

val load_pib : C.T.piqtype option -> C.Piqirun.IBuf.t -> obj

val out_piqtypes : 
  (Piqi_impl_piqi.Piqi_impl_piqi.typename * int) list Stdlib.ref

val next_out_code : int Stdlib.ref

val gen_pib_typehint : 
  Piqi_impl_piqi.Piqi_impl_piqi.uint ->
  Piqi_impl_piqi.Piqi_impl_piqi.typename ->
  C.T.Piqirun.OBuf.t

val find_add_pib_typehint : 
  Piqi_impl_piqi.Piqi_impl_piqi.typename ->
  C.T.Piqirun.OBuf.t option * int

val gen_pib : obj -> Piqobj_to_protobuf.C.Piqirun.OBuf.t

val to_pib_channel : Stdlib.out_channel -> obj -> unit

val to_pib_string : obj -> string

val load_pb : C.T.piqtype -> Piqobj_of_protobuf.C.Piqirun.t -> obj

val gen_pb : obj -> Piqobj_to_protobuf.C.Piqirun.OBuf.t

val to_pb_channel : Stdlib.out_channel -> obj -> unit

val to_pb_string : obj -> string

val piqobj_of_json : 
  Piqobj_of_json.C.T.piqtype ->
  Piqobj_of_json.json ->
  Piqobj.obj

val piqi_of_json : ?process:bool -> Piqobj_of_json.json -> Piqi.C.T.piqi

val piqi_to_json : Piqi.C.P.t -> string * Piqobj_to_json.json

val gen_json_obj : 
  plain:bool ->
  Piqobj.obj ->
  Piqi_impl_piqi.Piqi_impl_piqi.name * Piqobj_to_json.json

val gen_json_common : 
  plain:bool ->
  obj ->
  Piqi_impl_piqi.Piqi_impl_piqi.name * Piqobj_to_json.json

val gen_json : obj -> Piqobj_to_json.json

val gen_plain_json : obj -> Piqobj_to_json.json

val to_json_channel : Stdlib.out_channel -> obj -> unit

val to_json_string : ?pretty_print:bool -> obj -> string

val read_json_ast : 
  (Piqi_json_parser.lexer_state * Piqi_json_parser.Lexing.lexbuf) ->
  Piqi_json_type.json

val is_primitive : Piqi_impl_piqi.Piqi_impl_piqi.piqtype -> bool

val is_list : Piqi_impl_piqi.Piqi_impl_piqi.piqtype -> bool

val load_json_common : 
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  Piqobj_of_json.json ->
  obj

val load_json : 
  C.T.piqtype option ->
  (Piqi_json_parser.lexer_state * Piqi_json_parser.Lexing.lexbuf) ->
  obj

val load_plain_json : 
  C.T.piqtype ->
  (Piqi_json_parser.lexer_state * Piqi_json_parser.Lexing.lexbuf) ->
  obj

val piqi_of_xml : [> `Elem of Piqobj_of_xml.xml_elem ] -> Piqi.C.T.piqi

val piqi_to_xml : Piqi.C.P.t -> Piqobj_to_xml.xml

val gen_xml : obj -> Piqi_xml.xml

val to_xml_channel : Stdlib.out_channel -> obj -> unit

val to_xml_string : ?pretty_print:bool -> obj -> string

val read_xml_ast : Piqi_xml.xml_parser -> Piqi_xml.xml

val load_xml : C.T.piqtype -> Piqi_xml.xml_parser -> obj

val init : unit -> unit

val fname : string

val load_piq_or_pib : (unit -> obj) -> is_piqi_input:bool -> obj

val from_piq_string : C.T.piqtype -> string -> is_piqi_input:bool -> obj

val from_pib_string : C.T.piqtype -> string -> is_piqi_input:bool -> obj

val from_json_string : C.T.piqtype -> string -> obj

val from_pb_string : C.T.piqtype -> string -> obj

val from_xml_string : C.T.piqtype -> string -> obj

val parse_obj : 
  Piqi.C.T.piqtype ->
  [< `json | `pb | `pib | `piq | `xml ] ->
  string ->
  obj

val gen_obj : 
  pretty_print:bool ->
  [< `json | `pb | `pib | `piq | `xml ] ->
  obj ->
  string

type options = {

mutable json_omit_missing_fields : bool;
mutable pretty_print : bool;
mutable use_strict_parsing : bool;
mutable piq_frameless_output : bool;
mutable piq_frameless_input : bool;
mutable piq_relaxed_parsing : bool;

}

val make_options : 
  ?pretty_print:bool ->
  ?json_omit_missing_fields:bool ->
  ?json_omit_null_fields:bool ->
  ?use_strict_parsing:bool ->
  ?piq_frameless_output:bool ->
  ?piq_frameless_input:bool ->
  ?piq_relaxed_parsing:bool ->
  unit ->
  options

val set_options : options -> unit

val find_type : string -> Piqi.C.T.piqtype

val convert : 
  opts:options ->
  Piqi.C.T.piqtype ->
  [< `json | `pb | `pib | `piq | `xml ] ->
  [< `json | `pb | `pib | `piq | `xml json xml ] ->
  string ->
  string

package piqilib