val parse_string : string -> (Sexp.t, int * string) Result.resultparse_string s parses a single S-expression encoded in canonical form in s. It is an error for s to contain a S-expression followed by more data. In case of error, the offset of the error as well as an error message is returned.
val parse_string_many : string -> (Sexp.t list, int * string) Result.resultparse_string s parses a sequence of S-expressions encoded in canonical form in s
val input : in_channel -> (Sexp.t, string) Result.resultRead exactly one canonical S-expressions from the given channel. Note that this function never raises End_of_file. Instead, it returns Error.
val input_opt : in_channel -> (Sexp.t option, string) Result.resultSame as input but returns Ok None if the end of file has already been reached. If some more characters are available but the end of file is reached before reading a complete S-expression, this function returns Error.
val input_many : in_channel -> (Sexp.t list, string) Result.resultRead many S-expressions until the end of input is reached.
val serialised_length : Sexp.t -> intThe length of the serialised representation of a S-expression
val to_string : Sexp.t -> stringto_string sexp converts S-expression sexp to a string in canonical form.
to_buffer buf sexp outputs the S-expression sexp converted to its canonical form to buffer buf.
val to_channel : out_channel -> Sexp.t -> unitoutput oc sexp outputs the S-expression sexp converted to its canonical form to channel oc.
Low level parsing interface with fine-grain control over the input monad. Suitable for Lwt or Async integration.
module type Input = sig ... endmodule Make_parser (Input : Input) : sig ... end