biniou 1.0.12 · OCaml Package

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 = [

| `Unit
| `Bool of bool
| `Int8 of char
| `Int16 of int
| `Int32 of Int32.t
| `Int64 of Int64.t
| `Float32 of float
| `Float64 of float
| `Uvint of int
| `Svint of int
| `String of string
| `Array of (node_tag * tree array) option
| `Tuple of tree array
| `Record of (string option * hash * tree) array
| `Num_variant of int * tree option
| `Variant of string option * hash * tree option
| `Table of ((string option * hash * node_tag) array * tree array array) option
| `Shared of tree

]

val make_signed : int -> int

val hash_name : string -> 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

package biniou