Module Bi_vint

Vint: variable-length representation of integers

This module currently provides only conversions between vint and the OCaml int type. Here are the current limits of OCaml ints on 32-bit and 64-bit systems:

   word length (bits)                 32          64

   int length (bits)                  31          63

   min_int (lowest signed int)        0x40000000  0x4000000000000000
                                      -1073741824 -4611686018427387904

   max_int (greatest signed int)      0x3fffffff  0x3fffffffffffffff
                                      1073741823  4611686018427387903

   lowest unsigned int                0x0         0x0
                                      0           0

   greatest unsigned int              0x7fffffff  0x7fffffffffffffff
                                      2147483647  9223372036854775807

   maximum vint length (data bits)    31          63
   maximum vint length (total bytes)  5           9
type uint = int

Unsigned int. Note that ints (signed) and uints use the same representation for integers within [0, max_int].

val uvint_of_uint : ?buf:Bi_outbuf.t -> uint -> string

Convert an unsigned int to a vint.

  • parameter buf

    existing output buffer that could be reused by this function instead of creating a new one.

val svint_of_int : ?buf:Bi_outbuf.t -> int -> string

Convert a signed int to a vint.

  • parameter buf

    existing output buffer that could be reused by this function instead of creating a new one.

val uint_of_uvint : string -> uint

Interpret a vint as an unsigned int.

  • raises Bi_util.Error

    if the input string is not a single valid uvint that is representable using the uint type.

val int_of_svint : string -> int

Interpret a vint as a signed int.

  • raises Bi_util.Error

    if the input string is not a single valid svint that is representable using the int type.

val write_uvint : Bi_outbuf.t -> uint -> unit

Write an unsigned int to a buffer.

val write_svint : Bi_outbuf.t -> int -> unit

Write a signed int to a buffer.

val read_uvint : Bi_inbuf.t -> uint

Read an unsigned int from a buffer.

  • raises Bi_util.Error

    if there is no data to read from or if the uvint is not representable using the uint type.

val read_svint : Bi_inbuf.t -> int

Read a signed int from a buffer.

  • raises Bi_util.Error

    if there is no data to read from or if the svint is not representable using the int type.