Module `Private.Codec`

Topkg interprocess communication codec.

Codecs for communication between the topkg tool and topkg description files.

Decode errors

type error = | Corrupted of string * string | Version of int * int

The type for decode errors.

Corrupted (kind, data), an error occured while decoding data for kind.
Version (exp, fnd), a versioned decoder expected version exp but found fnd

val pp_error : Stdlib.Format.formatter -> error -> unit: pp_error ppf e prints an unspecified representation of e on ppf.

exception Error of error: Raised on decode errors.

Codecs

type 'a t: The type for codec for OCaml values of type 'a.

val v : kind:string -> enc:('a -> string) -> dec:(string -> 'a) -> 'a t: v kind enc dec is a codec for value identified as kind using enc to encode and dec to decode.

val kind : 'a t -> string: kind c is c's kind.

val enc : 'a t -> 'a -> string: enc c is c's encoder.

val dec : 'a t -> string -> 'a

dec c is c's decoder. The decoder

raises Error: in case of decode error

val dec_result : 'a t -> string -> 'a result: dec c is like dec but doesn't raise. The exception is turned into an error message using pp_error.

val with_kind : string -> 'a t -> 'a t: with_kind k c is c with kind k.

val write : fpath -> 'a t -> 'a -> unit result: write f c v encodes value v with c to f.

val read : fpath -> 'a t -> 'a result: read f c reads a value with c from f.

Base type codecs

val unit : unit t: unit codecs a ().

val const : 'a -> 'a t: const v codecs the constant v.

val bool : bool t: bool codecs booleans.

val int : int t: int codecs integers.

val string : string t: string codecs strings.

val option : 'a t -> 'a option t: option el codecs el options.

val result : ok:'a t -> error:'b t -> ('a, 'b) Result.result t: result ~ok ~error codecs ok, error results.

val list : 'a t -> 'a list t: list el codecs el lists.

val pair : 'a t -> 'b t -> ('a * 'b) t: pair c0 c1 codecs c0, c1 pairs.

val t3 : 'a t -> 'b t -> 'c t -> ('a * 'b * 'c) t: t3 is like pair but for triples.

val t4 : 'a t -> 'b t -> 'c t -> 'd t -> ('a * 'b * 'c * 'd) t: t4 is like pair but for quadruples.

val t5 : 'a t -> 'b t -> 'c t -> 'd t -> 'e t -> ('a * 'b * 'c * 'd * 'e) t: t5 is like pair but for qintuples.

val alt : kind:string -> ('a -> int) -> 'a t array -> 'a t

alt tag cs codecs values by tagging them with tag and using the corresponding codec in cs.

raises Invalid_argument: if Array.length cs > 256.

val version : int -> 'a t -> 'a t: version num c versions codec c with number num. On decode a version number mismatch raises an error see error.

val view : ?⁠kind:string -> (('a -> 'b) * ('b -> 'a)) -> 'b t -> 'a t: view kind t c views t as c for codecing.

Topkg types

val msg : [ `Msg of string ] t: msg codecs error messages.

val result_error_msg : 'a t -> 'a result t: result_error_msg ok codecs ok or error message results.

val fpath : Fpath.t t: fpath codecs files paths.

val cmd : Cmd.t t: cmd codecs command line fragments.