package SZXX

  1. Overview
  2. Docs
type 'a parser_state =
  1. | Success of 'a
  2. | Failed of {
    1. error : Base.string;
    2. unconsumed : Base.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 : Base.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 -> Base.int) -> 'a parser_state -> 'a parser_state -> Base.int
val equal_parser_state : ('a -> 'a -> Base.bool) -> 'a parser_state -> 'a parser_state -> Base.bool
val parser_state_to_result : 'a parser_state -> ('a, Base.string) Base.Result.t
type 'a t =
  1. | Skip
  2. | Fast_skip
  3. | String of Base.string
  4. | Bigstring of Bigstringaf.t
  5. | Fold_string of 'a
  6. | Fold_bigstring of 'a
  7. | Parse of 'a parser_state
  8. | Parse_many of Base.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.