package SZXX

  1. Overview
  2. Docs
type 'a parser_state =
  1. | Success of 'a
  2. | Failed of {
    1. error : string;
    2. unconsumed : string;
      (*

      This string contains the start of the data not consumed by the parser. More data might have been present but it was not kept to prevent unbounded memory usage.

      *)
    }
  3. | Terminated_early of {
    1. unconsumed : string;
      (*

      This string contains the start of the data not consumed by the parser. More data might have been present but it was not kept to prevent unbounded memory usage.

      *)
    }
  4. | Incomplete
val sexp_of_parser_state : ('a -> Sexplib0.Sexp.t) -> 'a parser_state -> Sexplib0.Sexp.t
val compare_parser_state : ('a -> 'a -> int) -> 'a parser_state -> 'a parser_state -> int
val equal_parser_state : ('a -> 'a -> bool) -> 'a parser_state -> 'a parser_state -> bool
val parser_state_to_result : 'a parser_state -> ('a, string) Core.result
type 'a t =
  1. | Skip
  2. | Fast_skip
  3. | String of string
  4. | Bigstring of Core.Bigstring.t
  5. | Fold_string of 'a
  6. | Fold_bigstring of 'a
  7. | Parse of 'a parser_state
  8. | Parse_many of unit parser_state
  9. | Terminate
val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S1 with type 'a t := 'a t
val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
include Ppx_compare_lib.Equal.S1 with type 'a t := 'a t
val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
OCaml

Innovation. Community. Security.