Module `Decompress_deflate.Gzip`Source

Sourcetype error = error_g

Sourcemodule F = RFC1951.F

Sourcetype ('i, 'o) t = {

d : ('i, 'o) RFC1951.t;
z : ('i, 'o) state;
text : bool;
crc16 : Optint.t option;
extra : string option;
name : string option;
comment : string option;
mtime : int;
os : OS.t;

}

and ('i, 'o) k =
  (Safe.ro, 'i) Safe.t ->
  (Safe.wo, 'o) Safe.t ->
  ('i, 'o) t ->
  ('i, 'o) res

Sourceand ('i, 'o) state =

| Header of ('i, 'o) k
| Deflate
| Crc32 of ('i, 'o) k
| Size of ('i, 'o) k
| Finish
| Exception of error

Sourceand ('i, 'o) res =

| Cont of ('i, 'o) t
| Wait of ('i, 'o) t
| Flush of ('i, 'o) t
| Ok of ('i, 'o) t
| Error of ('i, 'o) t * error

Sourceand meth = RFC1951.meth =

| PARTIAL
| SYNC
| FULL

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 ok : ('i, 'o) t -> ('i, 'o) res

Sourceval error : ('i, 'o) t -> error -> ('i, 'o) res

Source

val put_byte : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  int ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_short_lsb : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  int ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_string : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  string ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val align : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Source

val put_short_msb : 
  ctor:
    (('a -> ([< `Rd | `Wr Wr ] as 'b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
      ('d, 'c) state) ->
  int ->
  ('a -> ('b, 'c) Safe.t -> ('d, 'c) t -> ('d, 'c) res) ->
  'a ->
  ('b, 'c) Safe.t ->
  ('d, 'c) t ->
  ('d, 'c) res

Sourceval digest_crc16_byte : int -> Checkseum.Crc32.t -> Checkseum.Crc32.t

Sourceval digest_crc16_string : String.t -> Checkseum.Crc32.t -> Checkseum.Crc32.t

Sourcemodule KHeader : sig ... end

Sourcemodule KSize : sig ... end

Sourcemodule KCrc32 : sig ... end

Source

val size : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val crc32 : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val deflate : 
  (Lz77.Safe.ro, 'a) Lz77.Safe.t ->
  (Safe.wo, 'a) Safe.t ->
  ('a, 'a) t ->
  ('a, 'a) res

Sourceval nop : ('a -> 'b -> 'c -> 'd) -> 'a -> 'b -> 'c -> 'd

Source

val fextra : 
  String.t ->
  ((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

Source

val fname : 
  String.t ->
  ((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

Source

val fcomment : 
  String.t ->
  ((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

Source

val fcrc16 : 
  Optint.t ->
  ((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

Source

val header : 
  (Safe.ro, 'a) Safe.t ->
  (Safe.wo, 'b) Safe.t ->
  ('a, 'b) t ->
  ('a, 'b) res

Source

val 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 ]

Source

val default : 
  witness:'a Safe.Buffer.t ->
  ?text:bool ->
  ?header_crc:bool ->
  ?extra:string ->
  ?name:string ->
  ?comment:string ->
  ?mtime:int ->
  ?os:OS.t ->
  int ->
  ('a, 'a) t

Sourceval get_frequencies : ('a, 'b) t -> RFC1951.F.t

Source

val set_frequencies : 
  ?paranoid:bool ->
  (int array * int array) ->
  ('a, 'b) t ->
  ('a, 'b) t

Sourceval finish : ('a, 'a) t -> ('a, 'a) t

Sourceval no_flush : int -> int -> ('a, 'b) t -> ('a, 'b) t

Sourceval partial_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval sync_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval full_flush : int -> int -> ('a, 'a) t -> ('a, 'a) t

Sourceval flush_of_meth : RFC1951.meth -> int -> int -> ('a, 'a) t -> ('a, 'a) 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

include sig ... end

Source

val to_result : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bytes : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Source

val bigstring : 
  'a ->
  'a ->
  ?meth:(meth * int) ->
  ('a -> int option -> int) ->
  ('a -> int -> int) ->
  ('a, 'a) t ->
  (('a, 'a) t, error) result

Install

Dune Dependency

Authors

Maintainers

Sources

doc/decompress.impl/Impl/Decompress_deflate/Gzip/index.html

Module `Decompress_deflate.Gzip`Source

package decompress

Install

Dune Dependency

Authors

Maintainers

Sources

doc/decompress.impl/Impl/Decompress_deflate/Gzip/index.html

Module Decompress_deflate.GzipSource

Module `Decompress_deflate.Gzip`Source