Module Decompress_inflate.GzipSource

Sourcetype ('i, 'o) t = {
  1. d : ('i, 'o, crc) RFC1951.t;
  2. z : ('i, 'o) state;
  3. mtime : Optint.t;
  4. xfl : int;
  5. os : OS.t;
  6. extra_l : int option;
  7. extra : string option;
  8. name : string option;
  9. comment : string option;
  10. crc16 : Optint.t;
  11. hcrc16 : int option;
}
Sourceand ('i, 'o) k = (Safe.ro, 'i) Safe.t -> (Safe.wo, 'o) Safe.t -> ('i, 'o) t -> ('i, 'o) res
Sourceand ('i, 'o) state =
  1. | Header of ('i, 'o) k
  2. | Inflate
  3. | Crc32 of ('i, 'o) k
  4. | Size of ('i, 'o) k
  5. | Finish
  6. | Exception of error
Sourceand ('i, 'o) res =
  1. | Cont of ('i, 'o) t
  2. | Wait of ('i, 'o) t
  3. | Flush of ('i, 'o) t
  4. | Ok of ('i, 'o) t
  5. | Error of ('i, 'o) t * error
Sourceand error = error_g
Sourceval pp_error : Format.formatter -> error_g -> unit
Sourceval pp_state : Format.formatter -> ('a, 'b) state -> unit
Sourceval pp : Format.formatter -> ('a, 'b) t -> unit
Sourceval error : ('a, 'b) t -> error -> ('a, 'b) res
Sourceval ok : ('a, 'b) t -> ('a, 'b) res
Sourceval get_byte : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval get_with_holding : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval peek_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval drop_bits : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval get_int16 : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (int -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval get_string : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> int -> (string -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval get_zero_term_string : ctor: ((([< `Rd | `Wr Rd ] as 'a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('b, 'd) state) -> (string -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res) -> ('a, 'b) Safe.t -> 'c -> ('b, 'd) t -> ('b, 'd) res
Sourceval digest_crc16_byte : (int -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> 'a -> 'b -> ('c, 'd) t -> 'e
Sourceval digest_crc16_int16 : (int -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> 'a -> 'b -> ('c, 'd) t -> 'e
Sourceval digest_crc16_z_string : (String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) -> String.t -> 'a -> 'b -> ('c, 'd) t -> 'e
Sourceval digest_crc16_n_string : (String.t -> 'a -> 'b -> ('c, 'd) t -> 'e) -> int -> String.t -> 'a -> 'b -> ('c, 'd) t -> 'e
Sourcemodule KHeader : sig ... end
Sourcemodule KCrc : sig ... end
Sourcemodule KSize : sig ... end
Sourceval size : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval crc32 : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval inflate : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'a) Safe.t -> ('a, 'a) t -> ('a, 'a) res
Sourceval nop : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd
Sourceval fextra : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval fname : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval fcomment : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval fcrc16 : ((Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res) -> (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval header : (Safe.ro, 'a) Safe.t -> (Safe.wo, 'b) Safe.t -> ('a, 'b) t -> ('a, 'b) res
Sourceval eval : 'a -> 'a -> ('a, 'a) t -> [> `Await of ('a, 'a) t | `End of ('a, 'a) t | `Error of ('a, 'a) t * error | `Flush of ('a, 'a) t ]
Sourceval default : witness:'a Buffer.t -> ?wbits:int -> ('a, crc) Window.t -> ('a, 'a) t
Sourceval refill : int -> int -> ('a, 'b) t -> ('a, 'b) t
Sourceval flush : int -> int -> ('a, 'b) t -> ('a, 'b) t
Sourceval used_in : ('a, 'b) t -> int
Sourceval used_out : ('a, 'b) t -> int
Sourceval write : ('a, 'b) t -> int
Sourceval xfl : ('a, 'b) t -> int
Sourceval os : ('a, 'b) t -> OS.t
Sourceval mtime : ('a, 'b) t -> Optint.t
Sourceval extra : ('a, 'b) t -> string option
Sourceval name : ('a, 'b) t -> string option
Sourceval comment : ('a, 'b) t -> string option
include sig ... end
Sourceval to_result : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) result
Sourceval bytes : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) result
Sourceval bigstring : 'a -> 'a -> ('a -> int) -> ('a -> int -> int) -> ('a, 'a) t -> (('a, 'a) t, error) result