package SZXX

  1. Overview
  2. Docs

Module Zip.DataSource

Sourcetype '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
Sourceval sexp_of_parser_state : ('a -> Sexplib0.Sexp.t) -> 'a parser_state -> Sexplib0.Sexp.t
Sourceval compare_parser_state : ('a -> 'a -> int) -> 'a parser_state -> 'a parser_state -> int
Sourceval equal_parser_state : ('a -> 'a -> bool) -> 'a parser_state -> 'a parser_state -> bool
Sourceval parser_state_to_result : 'a parser_state -> ('a, string) Core.result
Sourcetype '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
Sourceval sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t
include Ppx_compare_lib.Comparable.S1 with type 'a t := 'a t
Sourceval compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
include Ppx_compare_lib.Equal.S1 with type 'a t := 'a t
Sourceval equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool