module Parse_error : sig ... endmodule Of_sexp_error : sig ... endmodule Conv_error : sig ... endval parse_string : Base.string ‑> (Base.Sexp.t ‑> 'a) ‑> ('a single_or_many, Conv_error.t) Base.Result.tval parse_string_exn : Base.string ‑> (Base.Sexp.t ‑> 'a) ‑> 'a single_or_manyval conv : (Base.Sexp.t single_or_many * Positions.t) ‑> (Base.Sexp.t ‑> 'a) ‑> ('a single_or_many, Of_sexp_error.t) Base.Result.tval conv_exn : (Base.Sexp.t single_or_many * Positions.t) ‑> (Base.Sexp.t ‑> 'a) ‑> 'a single_or_manyval conv_combine : (Base.Sexp.t single_or_many * Positions.t, Parse_error.t) Base.Result.t ‑> (Base.Sexp.t ‑> 'a) ‑> ('a single_or_many, Conv_error.t) Base.Result.tConvenience function for merging parsing and conversion errors.
For instance if you have a load function as follow:
val load : string -> (Sexp.t list * Positions.t, Parse_error.t) Result.t
then you can create a load_conv function as follow:
let load_conv : string -> (Sexp.t -> 'a) -> ('a list, Conv_error.t) Result.t
= fun filename f -> conv_combine (load filename) f