Module `Cborl.Signal`Source

Serialization is done by converting CBOR data items to a sequence of signals. Signals can be directly translated to and from bytes. This module provides direct access to signals. This can be used to stream large CBOR data items and also provides the ability to work with indefinite-length CBOR data items.

Sourcetype t =

| Null
| Undefined
| Bool of bool
| Integer of Z.t
(*
The integer value must fit into 8 bytes.
*)
| ByteString of int
(*
In a well-formed sequence of signals, a ByteString n element is always followed by exactly n Byte b elements.
*)
| TextString of int
(*
In a well-formed sequence of signals, a TextString n element is always followed by exactly n Byte b elements.
*)
| Byte of char
| Array of int option
(*
In a well-formed sequence of signals, an Array n_opt element is followed by exaclty n well-formed sequence of CBOR items when n_opt = Some n or by an indefinite number of items followed by a Break element.
*)
| Break
| Map of int option
(*
In a well-formed sequence of signals, an Map n_opt element is followed by exaclty n well-formed sequence of CBOR items when n_opt = Some n or by an indefinite number of items followed by a Break element.
*)
| Tag of Z.t
(*
In a well-formed sequence of signals, a Tag t element is followed by a single sequence of an encoded CBOR item.
*)
| Simple of int
| Float of float
| Double of float

Type of CBOR Signal

Sourceval pp : t Fmt.t

Sourceexception NotWellFormed of string

Exception that is thrown when sequence of signals or encoding is not well formed.

Conversion from and to CBOR Data Items

Sourceval of_item : item -> t Seq.t

of_item item returns a sequence of signals that represents the CBOR data item item.

Note that Cborl.Integer n values are encoded as Bignums if n is larger than what can be encoded in 8 bytes.

Sourceval to_items : t Seq.t -> item Seq.t

to_items signals reads multiple CBOR data items from the sequence signals.

Sourceval to_item : t Seq.t -> item * t Seq.t

to_item signals reads one item from the sequence signals and returns the sequence containing the continuation of signals after the read item.

Indefinite-Length Data Items

Sourceval indefinite_length_array : item Seq.t -> t Seq.t

indefinite_length_array items returns a sequence of signals encoding items as an indefinite-length array.

Sourceval indefinite_length_map : (item * item) Seq.t -> t Seq.t

indefinite_length_array key_values returns a sequence of signals encoding key_values as an indefinite-length map.

Writing

Sourceval write : t Seq.t -> char Seq.t

write stream

Reading

Sourceval read : char Seq.t -> t Seq.t

read input

package cborl

Module Cborl.SignalSource

Conversion from and to CBOR Data Items

Indefinite-Length Data Items

Writing

Reading

Module `Cborl.Signal`Source