package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (8)

Authors

  1. A
    Ahrefs <github@ahrefs.com>

Maintainers

  1. I
    igor@ahrefs.com

Sources

devkit-1.20210120.tbz
md5=47338eaae436aba40abd4d194ee40054
sha256=499b050b73643f6ad7349a41485539d4166d149a07fba59cb6841f508c0297f8
sha512=6a5bf77061d390ddb331ed3d5891a5c56502be91f0eff6846202f658ebfa97ef57695d7a192cbdad4c7b8835f5665df3ea4375daf46930334ebbd9a07f00feca

doc/devkit.core/Devkit_core/Gzip_stream/index.html

Module Devkit_core.Gzip_streamSource

Sourceexception Error of string
Sourceval buffer_size : int
Sourcetype in_channel = {
  1. in_chan : IO.input;
  2. in_buffer : bytes;
  3. mutable in_pos : int;
  4. mutable in_avail : int;
  5. mutable in_eof : bool;
  6. in_stream : Zlib.stream;
  7. mutable in_size : int32;
  8. mutable in_crc : int32;
  9. char_buffer : bytes;
}
Sourceval open_in : IO.input -> in_channel
Sourceval read_byte : in_channel -> int
Sourceval read_int32 : in_channel -> int32
Sourceval input : in_channel -> bytes -> int -> int -> int
Sourceval really_input : in_channel -> bytes -> int -> int -> unit
Sourceval input_char : in_channel -> char
Sourceval input_byte : in_channel -> int
Sourceval dispose : in_channel -> unit
Sourceval close_in : in_channel -> unit
Sourcetype 'a out_channel = {
  1. out_chan : 'a IO.output;
  2. out_buffer : bytes;
  3. mutable out_pos : int;
  4. mutable out_avail : int;
  5. out_stream : Zlib.stream;
  6. mutable out_size : int32;
  7. mutable out_crc : int32;
  8. char_buffer : bytes;
}
Sourceval open_out : ?level:int -> 'a IO.output -> 'a out_channel
Sourceval output : 'a out_channel -> bytes -> int -> int -> unit
Sourceval output_char : 'a out_channel -> char -> unit
Sourceval output_byte : 'a out_channel -> int -> unit
Sourceval write_int32 : 'a IO.output -> int32 -> unit
Sourceval flush : 'a out_channel -> unit
Sourceval close_out : 'a out_channel -> 'a