package irmin-pack
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=9e72efdc13324602d8da46e0492b1f4e09ad524149845e1a9106882f60ad6e1f
sha512=ae9cb4b086c7b93962aafc2ea339ac85c6d66bdf769f70a16f62fa5c74d9b194e12ac00b510be5ffac5adff3aa20fd69c4ca4067dcc966767fefcf5c02bc9969
doc/irmin-pack.unix/Irmin_pack_unix/Dispatcher/Make/index.html
Module Dispatcher.Make
Source
Parameters
module Fm : File_manager.S with module Io = Io.Unix
Signature
module Mapping_file : Mapping_file.S with module Io = Fm.Io
read_exn
either reads in the prefix or the suffix file, depending on off
. See Io.read_exn
for the arguments. If it tries to read a gced object, an exception is raised.
read_at_most_exn
is similar to read_exn
but if the end of file is reached while reading len
bytes, then only the available bytes are read. No `Read_out_of_bounds
error is raised. The number of bytes read are returned.
end_offset
is the end offsets of the pack entries, counting that the prefix doesn't start at 0. It counts the entries not yet flushed from the prefix.
Similar to read_exn
but returns false if the object was gced, instead of raising an expection.
offset_of_suffix_off t suffix_off
converts a suffix offset into a (global) offset.
Simlar to read_exn
but if off + len
is greater than the end of the prefix, it will read the remaining in the prefix.