Module Dune_rpc_private.ConvSource

Bidirectional parsing of canonical s-expressions

Sourcetype ('a, 'k) t
Sourcetype values
Sourcetype 'a value = ('a, values) t
Sourceval int : (int, values) t
Sourceval float : (float, values) t
Sourceval unit : (unit, values) t
Sourceval char : (char, values) t
Sourceval string : (string, values) t
Sourceval list : ('a, values) t -> ('a list, values) t
Sourceval pair : ('a, values) t -> ('b, values) t -> ('a * 'b, values) t
Sourceval option : ('a, values) t -> ('a option, values) t
Sourceval triple : ('a, values) t -> ('b, values) t -> ('c, values) t -> ('a * 'b * 'c, values) t
Sourceval enum : (string * 'a) list -> ('a, values) t
Sourceval iso : ('a, 'k) t -> ('a -> 'b) -> ('b -> 'a) -> ('b, 'k) t
Sourceval iso_result : ('a, 'k) t -> ('a -> ('b, exn) result) -> ('b -> 'a) -> ('b, 'k) t
Sourceval version : ?until:(int * int) -> ('a, 'k) t -> since:(int * int) -> ('a, 'k) t

parsing records

Sourcetype fields
Sourcetype 'a field
Sourceval required : ('a, values) t -> 'a field
Sourceval optional : ('a, values) t -> 'a option field
Sourceval field : string -> 'a field -> ('a, fields) t
Sourceval both : ('a, fields) t -> ('b, fields) t -> ('a * 'b, fields) t
Sourceval three : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('a * 'b * 'c, fields) t
Sourceval four : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('d, fields) t -> ('a * 'b * 'c * 'd, fields) t
Sourceval five : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('d, fields) t -> ('e, fields) t -> ('a * 'b * 'c * 'd * 'e, fields) t
Sourceval six : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('d, fields) t -> ('e, fields) t -> ('f, fields) t -> ('a * 'b * 'c * 'd * 'e * 'f, fields) t
Sourceval seven : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('d, fields) t -> ('e, fields) t -> ('f, fields) t -> ('g, fields) t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g, fields) t
Sourceval eight : ('a, fields) t -> ('b, fields) t -> ('c, fields) t -> ('d, fields) t -> ('e, fields) t -> ('f, fields) t -> ('g, fields) t -> ('h, fields) t -> ('a * 'b * 'c * 'd * 'e * 'f * 'g * 'h, fields) t
Sourceval record : ('a, fields) t -> ('a, values) t
Sourceval either : ('a, fields) t -> ('b, fields) t -> (('a, 'b) Stdune.Either.t, fields) t

parsing sums

Sourcetype ('a, 'arg) constr
Sourceval constr : string -> ('arg, values) t -> ('arg -> 'a) -> ('a, 'arg) constr
Sourcetype case
Sourceval case : 'arg -> ('a, 'arg) constr -> case
Sourcetype 'a econstr
Sourceval econstr : ('a, 'arg) constr -> 'a econstr
Sourceval sum : 'a econstr list -> ('a -> case) -> ('a, values) t
Sourcetype error =
  1. | Parse_error of {
    1. message : string;
    2. payload : (string * Stdune.Sexp.t) list;
    }
  2. | Version_error of {
    1. since : int * int;
    2. until : (int * int) option;
    3. message : string;
    4. payload : (string * Stdune.Sexp.t) list;
    }

conversion from/to

Sourceval error : error -> 'a
Sourceval dyn_of_error : error -> Dyn.t
Sourceval to_sexp : ('a, values) t -> 'a -> Stdune.Sexp.t
Sourceval of_sexp : ('a, values) t -> version:(int * int) -> Stdune.Sexp.t -> ('a, error) result
Sourceval fixpoint : (('a, 'k) t -> ('a, 'k) t) -> ('a, 'k) t
Sourceval sexp_for_digest : ('a, 'k) t -> Stdune.Sexp.t