package biniou

  1. Overview
  2. Docs
type node_tag = int
val bool_tag : int
val int8_tag : int
val int16_tag : int
val int32_tag : int
val int64_tag : int
val float32_tag : int
val float64_tag : int
val uvint_tag : int
val svint_tag : int
val string_tag : int
val array_tag : int
val tuple_tag : int
val record_tag : int
val num_variant_tag : int
val variant_tag : int
val unit_tag : int
val table_tag : int
val shared_tag : int
type hash = int
type tree = [
  1. | `Unit
  2. | `Bool of bool
  3. | `Int8 of char
  4. | `Int16 of int
  5. | `Int32 of Int32.t
  6. | `Int64 of Int64.t
  7. | `Float32 of float
  8. | `Float64 of float
  9. | `Uvint of int
  10. | `Svint of int
  11. | `String of string
  12. | `Array of (node_tag * tree array) option
  13. | `Tuple of tree array
  14. | `Record of (string option * hash * tree) array
  15. | `Num_variant of int * tree option
  16. | `Variant of string option * hash * tree option
  17. | `Table of ((string option * hash * node_tag) array * tree array array) option
  18. | `Shared of tree
]
val make_signed : int -> int
val hash_name : string -> int
val mask_31bit : int -> int
val write_hashtag : Bi_outbuf.t -> int -> bool -> unit
val string_of_hashtag : int -> bool -> string
val read_hashtag : Bi_inbuf.t -> (Bi_inbuf.t -> int -> bool -> 'a) -> 'a
val read_field_hashtag : Bi_inbuf.t -> int
type int7 = int
val write_numtag : Bi_outbuf.t -> int -> bool -> unit
val read_numtag : Bi_inbuf.t -> (Bi_inbuf.t -> int -> bool -> 'a) -> 'a
val make_unhash : string list -> int -> string option
val write_tag : Bi_outbuf.t -> int -> unit
val write_untagged_unit : Bi_outbuf.t -> unit -> unit
val write_untagged_bool : Bi_outbuf.t -> bool -> unit
val write_untagged_char : Bi_outbuf.t -> char -> unit
val write_untagged_int8 : Bi_outbuf.t -> int -> unit
val write_untagged_int16 : Bi_outbuf.t -> int -> unit
val write_untagged_int32 : Bi_outbuf.t -> int32 -> unit
val write_untagged_float32 : Bi_outbuf.t -> float -> unit
val float_endianness : [> `Big | `Little ] lazy_t
val read_untagged_float64 : Bi_inbuf.t -> float
val write_untagged_float64 : Bi_outbuf.t -> 'a -> unit
val write_untagged_int64 : Bi_outbuf.t -> int64 -> unit
val safety_test : unit -> unit
val write_untagged_string : Bi_outbuf.t -> string -> unit
val write_untagged_uvint : Bi_outbuf.t -> Bi_vint.uint -> unit
val write_untagged_svint : Bi_outbuf.t -> int -> unit
val write_unit : Bi_outbuf.t -> unit -> unit
val write_bool : Bi_outbuf.t -> bool -> unit
val write_char : Bi_outbuf.t -> char -> unit
val write_int8 : Bi_outbuf.t -> int -> unit
val write_int16 : Bi_outbuf.t -> int -> unit
val write_int32 : Bi_outbuf.t -> int32 -> unit
val write_int64 : Bi_outbuf.t -> int64 -> unit
val write_float32 : Bi_outbuf.t -> float -> unit
val write_float64 : Bi_outbuf.t -> 'a -> unit
val write_string : Bi_outbuf.t -> string -> unit
val write_uvint : Bi_outbuf.t -> Bi_vint.uint -> unit
val write_svint : Bi_outbuf.t -> int -> unit
val write_t : Bi_outbuf.t -> bool -> tree -> unit
val write_field : Bi_outbuf.t -> (string option * hash * tree) -> unit
val write_tree : Bi_outbuf.t -> tree -> unit
val string_of_tree : tree -> string
val tag_of_tree : tree -> int
val read_tag : Bi_inbuf.t -> int
val read_untagged_unit : Bi_inbuf.t -> unit
val read_untagged_bool : Bi_inbuf.t -> bool
val read_untagged_char : Bi_inbuf.t -> char
val read_untagged_int8 : Bi_inbuf.t -> int
val read_untagged_int16 : Bi_inbuf.t -> int
val read_untagged_int32 : Bi_inbuf.t -> int32
val read_untagged_float32 : Bi_inbuf.t -> float
val read_untagged_int64 : Bi_inbuf.t -> int64
val read_untagged_string : Bi_inbuf.t -> bytes
val read_untagged_uvint : Bi_inbuf.t -> Bi_vint.uint
val read_untagged_svint : Bi_inbuf.t -> int
val read_unit : Bi_inbuf.t -> [> `Unit ]
val read_bool : Bi_inbuf.t -> [> `Bool of bool ]
val read_int8 : Bi_inbuf.t -> [> `Int8 of char ]
val read_int16 : Bi_inbuf.t -> [> `Int16 of int ]
val read_int32 : Bi_inbuf.t -> [> `Int32 of int32 ]
val read_int64 : Bi_inbuf.t -> [> `Int64 of int64 ]
val read_float32 : Bi_inbuf.t -> [> `Float32 of float ]
val read_float64 : Bi_inbuf.t -> [> `Float64 of float ]
val read_uvint : Bi_inbuf.t -> [> `Uvint of Bi_vint.uint ]
val read_svint : Bi_inbuf.t -> [> `Svint of int ]
val read_string : Bi_inbuf.t -> [> `String of bytes ]
val print : string -> unit
val read_tree : ?unhash:(hash -> string option) -> Bi_inbuf.t -> tree
val tree_of_string : ?unhash:(hash -> string option) -> string -> tree
val skip_bytes : Bi_inbuf.t -> int -> unit
val skip_unit : Bi_inbuf.t -> unit
val skip_bool : Bi_inbuf.t -> unit
val skip_int8 : Bi_inbuf.t -> unit
val skip_int16 : Bi_inbuf.t -> unit
val skip_int32 : Bi_inbuf.t -> unit
val skip_int64 : Bi_inbuf.t -> unit
val skip_float32 : Bi_inbuf.t -> unit
val skip_float64 : Bi_inbuf.t -> unit
val skip_uvint : Bi_inbuf.t -> unit
val skip_svint : Bi_inbuf.t -> unit
val skip_string : Bi_inbuf.t -> unit
val skip_array : Bi_inbuf.t -> unit
val skip_tuple : Bi_inbuf.t -> unit
val skip_field : Bi_inbuf.t -> unit
val skip_record : Bi_inbuf.t -> unit
val skip_num_variant_cont : Bi_inbuf.t -> int -> bool -> unit
val skip_num_variant : Bi_inbuf.t -> unit
val skip_variant_cont : Bi_inbuf.t -> int -> bool -> unit
val skip_variant : Bi_inbuf.t -> unit
val skip_table : Bi_inbuf.t -> unit
val skipper_of_tag : int -> Bi_inbuf.t -> unit
val skip : Bi_inbuf.t -> unit
val array_map : ('a -> 'b) -> 'a array -> 'b array
module Pp : sig ... end
val init : unit -> Bi_share.Wr.tbl * int Pervasives.ref
val view_of_tree : tree -> string
val print_view_of_tree : tree -> unit
val output_view_of_tree : Pervasives.out_channel -> tree -> unit
val view : ?unhash:(hash -> string option) -> string -> string
val print_view : ?unhash:(hash -> string option) -> string -> unit
val output_view : ?unhash:(hash -> string option) -> Pervasives.out_channel -> string -> unit