piqilib 0.6.16 · OCaml Package

module C = Piqi_common

val unknown_fields : C.piq_ast list ref

val add_unknown_field : C.piq_ast -> unit

val get_unknown_fields : unit -> C.piq_ast list

val depth : int ref

exception Error of int * string * Obj.t

val trace_error : 'a -> string -> unit

val error : 'a -> string -> 'b

val parse_int : C.piq_ast -> [> `int of int64 | `uint of int64 ]

val uint64_to_float : Int64.t -> float

val parse_float : C.piq_ast -> float

val parse_bool : C.piq_ast -> bool

val parse_string : ?piq_format:[> `text | `word ] -> C.piq_ast -> string

val parse_binary : C.piq_ast -> string

val error_exp_list : 'a -> 'b

val check_duplicate : string -> 'a list -> unit

val truncate_string : string -> int -> string

val string_of_piqast : Piq_gen.C.piq_ast -> string

val warn_unknown_field : Piq_gen.C.piq_ast -> unit

val handle_unknown_field : C.piq_ast -> unit

val handle_unknown_variant : C.piq_ast -> 'a

exception Unknown_variant

val find_piqtype : Piqi_impl_piqi.Piqi_impl_piqi.name -> Piqi_db.C.T.piqtype

val parse_obj0 : 
  ?piq_format:C.T.piq_format ->
  try_mode:bool ->
  nested_variant:bool ->
  labeled:bool ->
  C.T.piqtype ->
  C.piq_ast ->
  Piqobj.obj

val try_parse_field_obj : 
  C.T.Field.t ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  C.piq_ast ->
  Piqobj.obj option

val parse_any : C.piq_ast -> Piqobj.any

val parse_record : 
  labeled:bool ->
  C.T.Piqi_impl_piqi.record ->
  C.piq_ast ->
  Piqobj.record

val do_parse_record : 
  C.piq_ast ->
  C.T.Piqi_impl_piqi.record ->
  C.piq_ast list ->
  Piqobj.record

val is_required_field : Piqi_impl_piqi.Piqi_impl_piqi.field -> bool

val parse_field : 
  C.piq_ast ->
  (Piqobj.Piqobj.field list * C.piq_ast list) ->
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  Piqobj.Piqobj.field list * C.piq_ast list

val do_parse_field : 
  C.piq_ast ->
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  C.piq_ast list ->
  Piqobj.Piqobj.field list * C.piq_ast list

val parse_required_field : 
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  C.piq_ast ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  C.piq_ast list ->
  Piqobj.Piqobj.obj * C.piq_ast list

val parse_field_obj : 
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  C.piq_ast ->
  Piqobj.Piqobj.obj

val equals_name : 
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqi_impl_piqi.Piqi_impl_piqi.name option ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  bool

val find_fields : 
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqi_impl_piqi.Piqi_impl_piqi.name option ->
  C.piq_ast list ->
  C.piq_ast list * C.piq_ast list

val find_first_parsed_field : 
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  C.piq_ast list ->
  Piqobj.Piqobj.obj option * C.piq_ast list

val parse_optional_field : 
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  Piqobj_common.C.T.any option ->
  C.piq_ast list ->
  Piqobj.Piqobj.obj option * C.piq_ast list

val parse_repeated_field : 
  Piqi_impl_piqi.Piqi_impl_piqi.field ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqi_impl_piqi.Piqi_impl_piqi.piqtype ->
  C.piq_ast list ->
  Piqobj.Piqobj.obj list * C.piq_ast list

val parse_variant : 
  try_mode:bool ->
  nested:bool ->
  C.T.Piqi_impl_piqi.variant ->
  C.piq_ast ->
  Piqobj.variant

val parse_options : 
  try_mode:bool ->
  nested:bool ->
  Piqi_impl_piqi.Piqi_impl_piqi.option list ->
  C.piq_ast ->
  Piqobj.Piqobj.option

val parse_nested_option : 
  try_mode:bool ->
  Piqi_impl_piqi.Piqi_impl_piqi.option ->
  C.piq_ast ->
  Piqobj.Piqobj.option option

val parse_option : 
  try_mode:bool ->
  Piqi_impl_piqi.Piqi_impl_piqi.option ->
  C.piq_ast ->
  Piqobj.Piqobj.option option

val parse_option_by_type : 
  try_mode:bool ->
  Piqi_impl_piqi.Piqi_impl_piqi.option ->
  C.piq_ast ->
  Piqobj.Piqobj.option option

val parse_name_option : 
  Piqi_impl_piqi.Piqi_impl_piqi.option ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piqobj.Piqobj.option option

val parse_named_option : 
  Piqi_impl_piqi.Piqi_impl_piqi.option ->
  Piqi_impl_piqi.Piqi_impl_piqi.name ->
  Piq_ast.Piq_ast.ast ->
  Piqobj.Piqobj.option option

val parse_enum : 
  try_mode:bool ->
  nested:bool ->
  C.T.Piqi_impl_piqi.enum ->
  C.piq_ast ->
  Piqobj.enum

val parse_list : C.T.Piqi_impl_piqi.piqi_list -> C.piq_ast -> Piqobj.list

val do_parse_list : 
  C.T.Piqi_impl_piqi.piqi_list ->
  C.piq_ast list ->
  Piqobj.list

val parse_alias : 
  ?piq_format:C.T.piq_format ->
  try_mode:bool ->
  nested_variant:bool ->
  labeled:bool ->
  C.T.Piqi_impl_piqi.alias ->
  C.piq_ast ->
  Piqobj.alias

val wrap : ('a -> 'b) -> 'c -> 'd

val parse_obj : C.T.piqtype -> C.piq_ast -> Piqobj.obj

val parse_typed_obj : ?piqtype:C.T.piqtype -> C.piq_ast -> Piqobj.obj

package piqilib