Concise Binary Object Representation (CBOR) event and value encoders.
This module provides a
f_encode
scheme for CBOR events, and a system of schemes for emitting CBOR values as octet streams.
val event : Cbor_event.t Cf_encode.schemeThe CBOR event encoder scheme. This scheme can encode most valid CBOR encodings.
A CBOR encoding is a unary monad.
include Cf_monad.Unary.ProfileModule inclusions from Cf_monad_core and Cf_seqmonad.
include Cf_monad.Core.Unary.Profile with type 'r t := 'r tval return : 'r -> 'r tUse return a to apply the binding to a.
module Affix : Cf_monad_core.Unary.Affix with type 'r t := 'r tOpen Affix to include the affix monad operators.
Use disregard m to ignore the value returned by m and apply the unit value to the bound function.
module Infix = AffixDeprecated module alias.
include Cf_seqmonad.Functor.Unary with type 'r t := 'r tUse collect s to bind in sequence every monad value in the finite sequence s and collect all the returned values. Returns (n, s) where n is the number of values collected and s is the list of values in reverse order, i.e. from last collected to first collected. Never returns and exhausts all memory if s never terminates.
val null : unit tThe CBOR encoding of the null value.
val boolean : bool -> unit tUse boolean b to make the CBOR encoding of b.
val integer : int -> unit tUse integer n to make the CBOR encoding of the integer value n.
val int32 : ?sign:[< Cbor_event.sign ] -> int32 -> unit tUse int32 n to make the CBOR encoding of the `int32` value n. Use the ~sign argument to regard n as unsigned rather than 2's-complement, and to explicitly control the arithmetic sign of the encoded integer.
val int64 : ?sign:[< Cbor_event.sign ] -> int64 -> unit tUse int64 n to make the CBOR encoding of the `int64` value n. Use the ~sign argument to regard n as unsigned rather than 2's-complement, and to explicitly control the arithmetic sign of the encoded integer.
val float : ?precision:Cbor_event.ieee754_precision -> float -> unit tUse float n to make the CBOR encoding of the floating point value n. If ~precision is not provided, then the most precise form required to represent n without loss is selected.
val octets : string -> unit tUse octets s to make the CBOR encoding of the octet sequence s.
val text : Ucs_text.t -> unit tUse text s to make the CBOR encoding of the Unicode text s.
Use array s to compose the CBOR definite size array from the encodings in the list s.
Use map s to compose the CBOR definite size map containing the key-value pairs encoded in the list s. Use the ~sort:() option to sort the keys according to the deterministic encoding of CBOR.
Use octets_seq s to make the CBOR encoding of the indefinite length octet sequence comprising the strings in s.
val text_seq : Ucs_text.t Seq.t -> unit tUse text_seq s to make the CBOR encoding of the indefinite length Unicode text comprising the concatenation of the UTF-8 encoded fragments in s.
Use array_seq s to make the CBOR encoding of the indefinite length array comprising the elements encoded in s.
Use map_seq s to make the CBOR encoding of the indefinite length map comprising the key-value pairs encoded in s.
val scheme : ('v -> unit t) -> 'v Cf_encode.schemeUse scheme f to make the encoding scheme that applies f to the emitted value to obtain the encoding of the sequence of CBOR events comprising its encoding.
A specialization of the
f_data_render.Profile
for use with CBOR is provided here.
Containers with positional elements, e.g. vectors and records, are encoded as definite length CBOR arrays. Containers with indexed elements, e.g. tables and structures, are encoded as definite length CBOR maps.
module Render : sig ... endA submodule to encapsulate functions for use with data rendering models.
module Opaque : sig ... endA submodule containing logic for encoding CBOR messages from values of type Cf_type.opaque according to optional mode selectors.
val to_string : unit t -> stringUse to_string v to make a string comprising the encoding of v.
val value : Cf_type.opaque -> unit tUse opaque v to make the CBOR encoding of the opaque value v. Raises Invalid_argument if v witnesses a type that cannot be encoded.