Previous  Up  Next

Module Bi_io

module Bi_io: sig .. end
Input and output functions for the Biniou serialization format

Node tags


type node_tag = int 
val bool_tag : node_tag
Tag indicating a bool node.
val int8_tag : node_tag
Tag indicating an int8 node.
val int16_tag : node_tag
Tag indicating an int16 node.
val int32_tag : node_tag
Tag indicating an int32 node.
val int64_tag : node_tag
Tag indicating an int64 node.
val float32_tag : node_tag
Tag indicating a float32 node.
val float64_tag : node_tag
Tag indicating a float64 node.
val uvint_tag : node_tag
Tag indicating a uvint node.
val svint_tag : node_tag
Tag indicating an svint node.
val string_tag : node_tag
Tag indicating a string node.
val array_tag : node_tag
Tag indicating an array node.
val tuple_tag : node_tag
Tag indicating a tuple node.
val record_tag : node_tag
Tag indicating a record node.
val num_variant_tag : node_tag
Tag indicating a num_variant node.
val variant_tag : node_tag
Tag indicating a variant node.
val unit_tag : node_tag
Tag indicating a unit node.
val table_tag : node_tag
Tag indicating a table node.
val shared_tag : node_tag
Tag indicating a shared node.
val write_tag : Bi_outbuf.t -> node_tag -> unit
Write one-byte tag to a buffer.
val read_tag : Bi_inbuf.t -> node_tag
Read one-byte tag from a buffer.

Tags of variants and record fields


type hash = int
31-bit hash
val hash_name : string -> hash
Hash function used to compute field name tags and variant tags from their full name.
val write_hashtag : Bi_outbuf.t -> hash -> bool -> unit
write_hashtag ob h has_arg writes variant tag h to buffer ob. has_arg indicates whether the variant has an argument. This function can be used for record field names as well, in which case has_arg may only be true.
val string_of_hashtag : hash -> bool -> string
Same as write_hashtag but writes to a string.
val read_hashtag : Bi_inbuf.t -> (Bi_inbuf.t -> hash -> bool -> 'a) -> 'a
read_hashtag ib f reads a variant tag as hash h and flag has_arg and returns f h has_arg.
val read_field_hashtag : Bi_inbuf.t -> hash
read_field_hashtag ib reads a field tag and returns the 31-bit hash.
val make_unhash : string list -> hash -> string option
Compute the hash of each string of the input list and return a function that converts a hash back to the original string. Lookups do not allocate memory blocks.
Raises Failure if the input list contains two different strings with the same hash.
type int7 = int
7-bit int used to represent a num_variant tag.
val write_numtag : Bi_outbuf.t -> int7 -> bool -> unit
write_numtag ob i has_arg writes the tag of a num_variant. The tag name is represented by i which must be within [0, 127] and the flag has_arg which indicates the presence of an argument.
val read_numtag : Bi_inbuf.t -> (Bi_inbuf.t -> int7 -> bool -> 'a) -> 'a
read_numtag ib f reads a num_variant tag and processes the tag name i and flag has_arg using f.

Atom writers



The write_untagged_ functions write an untagged value (VAL) to an output buffer while the other write_ functions write a tagged value (TAGVAL).
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_int64 : Bi_outbuf.t -> int64 -> unit
val write_untagged_float32 : Bi_outbuf.t -> float -> unit
val write_untagged_float64 : Bi_outbuf.t -> float -> unit
val write_untagged_string : Bi_outbuf.t -> string -> unit
val write_untagged_uvint : Bi_outbuf.t -> int -> 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 -> float -> unit
val write_string : Bi_outbuf.t -> string -> unit
val write_uvint : Bi_outbuf.t -> int -> unit
val write_svint : Bi_outbuf.t -> int -> unit

Atom readers



The read_untagged_ functions read an untagged value (VAL) from an input buffer.
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_int64 : Bi_inbuf.t -> int64
val read_untagged_float32 : Bi_inbuf.t -> float
val read_untagged_float64 : Bi_inbuf.t -> float
val read_untagged_string : Bi_inbuf.t -> string
val read_untagged_uvint : Bi_inbuf.t -> int
val read_untagged_svint : Bi_inbuf.t -> int
val skip : Bi_inbuf.t -> unit
Read and discard a value. Useful for skipping unknown record fields.

Generic tree


type tree = [ `Array of (node_tag * tree array) option
       | `Bool of bool
       | `Float32 of float
       | `Float64 of float
       | `Int16 of int
       | `Int32 of Int32.t
       | `Int64 of Int64.t
       | `Int8 of char
       | `Num_variant of int * tree option
       | `Record of (string option * hash * tree) array
       | `Shared of tree
       | `String of string
       | `Svint of int
       | `Table of
           ((string option * hash * node_tag) array *
            tree array array)
           option
       | `Tuple of tree array
       | `Unit
       | `Uvint of int
       | `Variant of string option * hash * tree option ]
Tree representing serialized data, useful for testing and for untyped transformations.
val write_tree : Bi_outbuf.t -> tree -> unit
Serialization of a tree to a buffer.
val string_of_tree : tree -> string
Serialization of a tree into a string.
val read_tree : ?unhash:(hash -> string option) -> Bi_inbuf.t -> tree
Deserialization of a tree from a buffer.
val tree_of_string : ?unhash:(hash -> string option) -> string -> tree
Deserialization of a tree from a string.
val tag_of_tree : tree -> node_tag
Returns the node tag of the given tree.
val view_of_tree : tree -> string
val view : ?unhash:(hash -> string option) -> string -> string
Prints a human-readable representation of the data into a string.
val print_view_of_tree : tree -> unit
val print_view : ?unhash:(hash -> string option) -> string -> unit
Prints a human-readable representation of the data to stdout.
val output_view_of_tree : Pervasives.out_channel -> tree -> unit
val output_view : ?unhash:(hash -> string option) ->
       Pervasives.out_channel -> string -> unit
Prints a human-readable representation of the data to an out_channel.
val safety_test : unit -> unit
Check that certain low-level hacks work as expected